- •Глава 5. Исчисление высказываний и исчисление предикатов
- •5.1. Исчисление высказываний
- •5.1.1. Словарь исчисления высказываний
- •5.1.2. Синтаксис исчисления высказываний
- •5.1.3. Семантика исчисления высказываний
- •5.1.4. Исчисление высказываний и естественный язык
- •5.1.5. Выполнимость и общезначимость формулы
- •5.1.6. Проблема выводимости
- •5.1.7. Алгоритмы распознавания невыполнимости формулы
- •5.1.8. Хорновские дизъюнкты
- •5.2. Исчисление предикатов
- •5.2.1. Словарь
- •5.2.2. Синтаксис исчисления предикатов
- •5.2.3. Семантика исчисления предикатов
- •5.3. Контрольные вопросы к главе 5
5.3. Контрольные вопросы к главе 5
Дайте определение алфавита исчисления высказываний.
Дайте определение синтаксиса исчисления высказываний.
Дайте определение семантики исчисления высказываний.
В чем заключается общезначимость, невыполнимость и нейтральность формулы?
Дайте определение полной и частичной интерпретации.
Модель. Дерево интерпретаций.
В чем заключается проблема вывода?
Каким образом сводится проблема вывода к анализу КНФ на невыполнимость?
Сформулируйте резольвентный метод анализа КНФ на невыполнимость.
Опишите метод Блейка.
Дайте определение алфавита исчисления предикатов.
Дайте определение синтаксиса исчисления предикатов.
Дайте определение семантики исчисления предикатов.
Дайте определение предваренной нормальной формы.
Дайте определение сколемовой формы.