Математическая логика и теория алгоритмов
|
1.7 Контрольные вопросы |
назад | оглавление | вперёд |
Что такое высказывание?
Какие логические операции Вы знаете?
Каким образом строится формула в исчислении высказываний?
Дайте определение тавтологии, выполнимой формулы, тождественно ложной формулы, опровержимой формулы.
Что такое логически эквивалентные формулы?
Дайте определение выводимой формулы.
Сформулируйте теорему дедукции.
Какие формулы в исчислении высказываний являются выводимыми?
Какие методы для проверки выводимости формул Вы знаете?
Сформулируйте правило резолюции.