Комбинаторика

Тема мат логика

Высказывание называют простым (элементарным), если

 

Высказывание называют сложным (составным),

 

В алгебре высказываний объектом исследования является

 

Формула, которая является истинной хотя бы при одном наборе значений переменных, называется

Формула ложная при всех наборах значений переменных называется

 

Формула, истинная при всех наборах значений переменных называется

 

Формула алгебры высказываний является тождественно истинной,

 

Формула алгебры высказываний является тождественно ложной,

 

Какому отношению соответствует расшифровка из P следует Q, если Q истинно всякий раз, когда истинно P.

 

если не существует логической возможности, при которой оба высказывания были бы одновременно истинными, т.е. при истинном значении одного из них другое обязательно ложно – это

 

Рассуждение будет правильным, если из конъюнкции посылок следует заключение, т.е. между конъюнкцией посылок и заключением установлено

 

В случае отношения следствия между конъюнкцией посылок и заключением для правильного рассуждения импликация должна быть

 

Правильность рассуждения можно установить, построив таблицу истинности высказывания ________ и убедившись в том, что оно тождественно истинно.

 

Квантор общности – это символ

 

Квантор существования – это символ

 

Высказывание "для всех x из М Р(x) истинно" обознача­ется

 

Выс­казывание "существует такой х из М, что Р(х) истинно" обозначается

 

Комбинаторика

Упорядоченная выбор­ка, в которой элементы могут повторяться, называется

 

Если все элементы упорядоченной выбор­ки различны, она называется

 

Неупорядоченная выборка, в которой элементы могут повторяться, называется

 

Если все элементы неупорядоченной выборки различны, она называется

 

Формула для размещения с повторениями - это

 

Формула для размещения без повторений - это

 

Число сочетаний находится по формуле

 

Правило суммы гласит:

 

Правило произ­ведения гласит

 

Число элементов , не обладающих ни одним из свойств {p_i1,p_i2,…,p_ir}, определяется формулой