Список литературы

1. Горбатов В.А. Фундаментальные основы дискретной математики. - М.: Наука, 1999.

2. Вагин В.Н. Дедукция и обобщение в системах принятия решений. – М.: Наука, 1988.

3. Кузнецов О.П., Адельсон-Вельский Г.М. Дискретная математика для инженера. – М.: Энергоатомиздат, 1988.

4. Новиков М.С. Элементы математической логики. – М.: Наука, 1973.

Содержание

Понятие формальной системы 2

Исчисление высказываний как формальная система 4

Логические следствия 7

Принцип резолюции для логики высказываний 9

Метод линейной резолюции 12

Метод семантической резолюции 13

Исчисление предикатов первого порядка 15

Исчисление предикатов первого порядка как формальная система 18

Пренексные нормальные формы 21

Сколемовские стандартные формы 23

Принцип резолюции для логики предикатов первого порядка 25

Задачи 29

Список литературы 30

31