Математическая логика и теория алгоритмов

ОГЛАВЛЕНИЕ Введение 8 Глава 1. Логика высказываний 11 § 1. Высказывание. Логические операции 11 § 2. Пропозициональные буквы, связки и формы (формулы логики высказываний) 17 § 3. Упрощения в записях пропозициональных форм 20 § 4. Тавтологии (общезначимые формулы). Проти­ воречия 21 § 5. Равносильность пропозициональных форм .... 24 § 6. Важнейшие пары равносильных пропозицио­ нальных форм 26 § 7. Зависимости между пропозициональными связками 28 § 8. Нормальные формы 31 § 9. Совершенные нормальные формы 34 § 10. Вопросы и темы для самопроверки 37 § 11. Упражнения , 38 Глава 2. Логика предикатов 46 § 1. Понятие предиката 46 § 2. Кванторы 49 § 3. Формулы логики предикатов 53 § 4. Интерпретация. Модель 56 § 5. Свойства формул в данной интерпретации .... 5 9 3