Математическая логика и теория алгоритмов

1.7 Контрольные вопросы

назад | оглавление | вперёд

 
  1. Что такое высказывание?

  2. Какие логические операции Вы знаете?

  3. Каким образом строится формула в исчислении высказываний?

  4. Дайте определение тавтологии, выполнимой формулы, тождественно ложной формулы, опровержимой формулы.

  5. Что такое логически эквивалентные формулы?

  6. Дайте определение выводимой формулы.

  7. Сформулируйте теорему дедукции.

  8. Какие формулы в исчислении высказываний являются выводимыми?

  9. Какие методы для проверки выводимости формул Вы знаете?

  10. Сформулируйте правило резолюции.


назад | оглавление | вперёд