Содержание
- Введение 1
- Основы исчисления предикатов: синтаксис и семантика 2
- - Предикаты и кванторы 2.1
- - Логические связки и формулы 2.2
- - Интерпретация и истинность 2.3
- Правила вывода в исчислении предикатов 3
- - Модус поненс и модус толленс 3.1
- - Универсальная и экзистенциальная инстанциация 3.2
- - Доказательство с помощью правил вывода 3.3
- Методы построения логических выводов 4
- - Метод резолюций 4.1
- - Метод натурального вывода 4.2
- - Метод семантических таблиц 4.3
- Практическое применение исчисления предикатов: примеры и задачи 5
- - Формализация логических задач 5.1
- - Проверка валидности аргументов 5.2
- - Решение логических головоломок 5.3
- Заключение 6
- Список литературы 7