Контрольні питання та вправи

1. Загальна характеристика числень логіки предикатів.

2. Поняття аксіоматичного числення логіки предикатів.

3. Структура аксіоматичного числення логіки предикатів S⁵.

4. Характеристика списку аксіом S⁵.

5. Загальна характеристика правил висновку в S⁵.

6. Поняття правильної підстановки.

7. Правило усунення квантору загальності.

8. Правило введення квантору загальності.

9. Правило введення квантору існування.

10. Правило усунення квантору існування.

11. Правило перейменування вільних змінних.

12. Правило перейменування зв’язаних змінних.

13. Характеристика дефініції доведення.

14. Характеристика доказової формули.

15. Дефініція висновку.

16. Теорія дедукції.

17. Доведення теореми дедукції.

18. Загальна характеристика металогічних принципів в S⁵.

19. Принцип несуперечливості аксіом.

20. Принцип незалежності аксіом.

21. Принцип повноти.

22. Загальна характеристика натурального числення предика­тів S⁶.

23. Типологія правил висновку в S⁶.

24. Характеристика кванторних правил в S⁶.

25. Поняття умовної інтерпретації змінної.

26. Поняття інтерпретації всезагальності для змінної.

27. Поняття «абсолютно обмежена змінна» і «обмежена змінна».

28. Дефініція висновку в S⁶.

29. Дефініція доведення в S⁶.

30. Дефініція завершеного висновку.

31. Дефініція завершеного доведення.

32. Процедура побудови висновків і доведень в S⁶.

33. Поняття методики вибору засновків.

34. Побудувати обгрунтуваннявиразів S⁶: