Контрольні питання та вправи
1. Поняття числення в логіці.
2. Структура S2.
3. Порівняльна характеристика систем S1 i S2.
4. Алфавіт S2.
5. Правила перетворення в S2.
6. Аксіоми і теореми в S2.
7. Правила доведення в S2.
8. Дефініція доведення.
9. Дефініція доказової формули.
10. Структура доведення в S2.
11. Хід доведення із аксіом.
12. Розширене поняття доведення в S2.
13. Поняття «теорема» і «метатеорема».
14. Метатеорема про дедукцію.
15. Варіанти доведення метатеореми про дедукцію.
16. Металогічні принципи в S2.
17. Принцип розв’язання.
18. Принцип несуперечності.
19. Принцип повноти.
20. Принцип незалежності.
21. Загальна характеристика натурального числення висловлювань S3.
22. Структура S3.
23. Правила висновку в S3.
24. Дефініція доведення в S3.
25. Прямі і непрямі доведення в S3.
26. Хід побудови доведення в S3.
27. Довести вивідність формул: 