ВУЗ:
Составители:
Рубрика:
Содержание
Введение . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
§1. Логика высказываний . . . . . . . . . . . . . . . . . . . . 7
§2. Логические функции . . . . . . . . . . . . . . . . . . . .14
§3. Нормальные формы . . . . . . . . . . . . . . . . . . . . .21
§4. Функциональная полнота и замкнутость . . . . . . . . . . .27
§5. Исчисление высказываний . . . . . . . . . . . . . . . . . .37
§6. Полнота и непротиворечивость . . . . . . . . . . . . . . . .43
§7. Исчисление секвенций . . . . . . . . . . . . . . . . . . . .50
§8. Логика первого порядка . . . . . . . . . . . . . . . . . . .58
§9. Формальные теории . . . . . . . . . . . . . . . . . . . . .67
Список литературы . . . . . . . . . . . . . . . . . . . . . .77
78
