5.3. Контрольные вопросы к главе 5

1. Дайте определение алфавита исчисления высказываний.

2. Дайте определение синтаксиса исчисления высказываний.

3. Дайте определение семантики исчисления высказываний.

4. В чем заключается общезначимость, невыполнимость и нейтральность формулы?

5. Дайте определение полной и частичной интерпретации.

6. Модель. Дерево интерпретаций.

7. В чем заключается проблема вывода?

8. Каким образом сводится проблема вывода к анализу КНФ на невыполнимость?

9. Сформулируйте резольвентный метод анализа КНФ на невыполнимость.

10. Опишите метод Блейка.

11. Дайте определение алфавита исчисления предикатов.

12. Дайте определение синтаксиса исчисления предикатов.

13. Дайте определение семантики исчисления предикатов.

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

15. Дайте определение сколемовой формы.