Контрольні питання та вправи
1. Особливості логіки предикатів.
2. Поняття алгебраїчної системи логіки предикатів S4.
3. Структура мови S4.
4. Синтаксис метамови S4.
5.
Дефініція терму.6. Дефініція формули.
7. Поняття «зв’язаної змінної» і «вільної змінної».
8. Поняття конгруентної формули.
9. Структура семантики метамови S4.
10. Універсум розгляду U.
11. Інтерпретаційна функція І.
12. Дефініція інтерпретації предметної константи.
13. Дефініція інтерпретації предикаторної константи.
14. Дефініція інтерпретації предметно-функціональної константи.
15. Поняття моделі.
16. Процедури встановлення значень для формул.
17. Дефініція умов істинності та хибності елементарних формул.
18. Дефініція умов істинності та хибності формул, в яких головним законом є пропозиційні знаки.
19. Дефініція умов істинності та хибності, в яких головним знаком є квантор.
20. Типологія формул в S4 за семантичними ознаками.
21. Поняття логічного закону.
22. Дефініція не загальнозначимої формули.
23. Дефініція виконуваної формули.
24. Дефініція невиконуваної формули.
25. Логічні відношення між формулами в S4.
26. Відношення сумісності за істинністю.
27. Відношення сумісності за хибністю.
28. Відношення логічного слідування.
29. Проблема розв’язання.
30. Метод аналітичних таблиць у логіці предикатів.
31. Закони логіки предикатів.
32. Процедури розв’язання в логіці предикатів.
33. Перевірити за допомогою аналітичних таблиць, чи є зага- льнозначимими формулами: 