Запитання для самоперевірки:

1. Які додаткові нові логічні поняття введені в логіку предикатів і з якою метою?

2. Дайте визначення поняття «предикат».

3. Що називають п-місним предикатом?

4. Що називають порядком предиката?

5. Що називають нульмісним предикатом?

6. Наведіть приклади функціональних символів.

7. Який функціональний символ називають п-місним?

8. Дайте визначення поняття «терма».

9. Що розуміють під предметною областю?

10. Дайте визначення понять «предметна константа» і «предметна змінна».

11. Дайте визначення квантора загальності.

12. Що розуміють під квантором існування?

13. Як позначають квантори загальності та існування?

14. Які змінні називають зв’язаними, а які – вільними?

15. Як залежить значення предиката від зв’язаних або вільних змінних?

16. Поясніть призначення зв’язаних змінних.

17. До яких наслідків призводить застосування квантора за однією із змінних тримісного предиката.

18. Коли предикат [TEX]\forall [/TEX]у  Р ( х,у ) набуває значення ”Істина”?

19. Коли предикат [TEX]\exists [/TEX]х Р ( х,у ) набуває значення ”Істина”?

20. Що називають формулою у логіці предикатів?

21. Яку формулу називають атомарною?

22. Що розуміють під областю дії квантора?

23. Що таке інтерпретація формули логіки предикатів?

24. Запишіть правила, згідно з якими формула логіки предикатів може набути істинного або хибного значення.

25. Порівняйте поняття інтерпретації у логіці висловлювань і логіці предикатів.

26. Що таке рівносильність формул логіки  предикатів?

27. Як впливає область інтерпретації на рівносильність формул логіки предикатів?

28. Як впливають на рівносильність вільні й зв’язані змінні у формулах логіки       предикатів?

29. До якого наслідку призводить перенесення квантора на початок формули?

30. Які додаткові закони і тотожності існують у логіці предикатів порівняно з логікою висловлювань?

31. Поясніть суть заміни зв’язаної змінної.

32. Сформулюйте комутативні властивості кванторів.

33. Сформулюйте дистрибутивні властивості кванторів.

34. Яким чином можна обійти обмеження дистрибутивних властивостей кванторів?

35. Запишіть формули закону де Моргана для кванторів.

36. Яке числення називають численням предикатів першого порядку?

37. Які властивості числення предикатів першого порядку ви знаєте?

38. Довести, що будь-яке числення предикатів першого порядку є несуперечною теорією.

39. Сформулюйте умови теореми еквівалентності формул у численні предикатів першого порядку.