Содержание.
Введение.
Исчисление высказываний.
Высказывания.
Формулы.
Выполнимые и общезначимые формулы.
Алгебраический подход.
Дизъюнкты и нормальные формы.
Логический вывод.
Прямой вывод.
Доказательство «от противного».
Метод резолюций.
Фразы Хорна.
Примеры использования метода резолюций в логике высказываний.
Непротиворечивость аксиом.
Аксиоматизация логики высказываний.
Исчисление предикатов.
Предикаты.
Применение логических связок.
Кванторы.
Свободные и связанные переменные.
Предикатные формулы.
Предварённая нормальная форма.
Сколемовская и клаузальная формы.
Метод резолюций в логике предикатов.
Принцип логического программирования.
Литература.
