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

§ б. Логически общезначимые формулы. Выпол­ нимые и равносильные формулы 60 § 7. Правила перенесения отрицания через кванторы 63 § 8. Правила перестановки кванторов 66 § 9. Правила переименования, связанных перемен­ ных 68 § 10. Правила вынесения кванторов за скобки. Предваренная нормальная форма 70 §11. Вопросы и темы для самопроверки 76 § 12. Упражнения 77 Глава 3. Логическое следствие н метод резолюций .... 89 § 1, Логическое следствие и проблема дедукции в логике высказываний 89 § 2. Резольвента дизъюнктов логики выска­ зываний 92 § 3. Метод резолюции в логике высказываний 93 § 4. Метод насыщения уровня 94 § 5. Стратегия вычеркивания 96 § 6. Лок-резолюция 98 § 7. Метод резолюции дня хорнЬвских дизъюшсгов ... 100 § 8. Преобразование формул логики предикатов. Сколемовская стандартная форма 102 § 9. Унификация 107 § 10. Метод резолюций в логике предикатов ПО §11. Приложение метода резолюций для анализа силлогизмов Аристотеля 113 § 12. Использование метода резолюций в языке ПРОЛОГ 117 §13 . Введение и использование правил в ПРОЛОГе ... 12 1 § 14. Рекурсивное задание правил в ПРОЛОГе 123 4