§ 4.
Равносильность предикатов 5
§ 5. Логические операции над предикатами 7
§ 6. Кванторные операции над предикатами 11
§ 7. Численные кванторы 16
§ 8. Формулы логики предикатов 18
§ 9. Классификация формул логики предикатов 19
§ 10. Тавтологии (равносильности) логики предикатов 21
§ 11. Равносильные преобразования формул 23
§ 12. Общезначимость и выполнимость 25
§ 13. Примеры и задачи 29
§ 14. Решение примеров 37
