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

1. У чому різниця  пропозиційної  логіки  від  аксіоматичної  системи  логік?

2. Які аксіоми має аксіоматична  система  логік?

3. Запишіть формули аксіом  аксіоматичної  системи  логік.  

4. Які правила виведення є спільними для  пропозиційної  логіки  і аксіоматичної  системи  логік?

5. На які групи і підгрупи діляться правила виведення?

6. Для яких цілей використовують правила введення і правила вилучення?

7. Які обмеження необхідні для правил узагальнення та існування. Які можуть бути наслідки, якщо не дотримуватися зазначених обмежень?

8. Сформулюйте правило перейменування вільних змінних.

9. У чому сутність правил перейменування зв’язних змінних?

10. Дайте визначення випередженої нормальної форми.

11. Сформулюйте алгоритм перетворення виразів довільної форми у ВНФ.

12. Сформулюйте алгоритм подачі матриці А формули Ф у кон’юнктивній нормальній формі.

13. Що є основною задачею логіки предикатів?

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

15. Закони яких теорій використовують при побудові доведень у логіці предикатів і чому?

16. На якому принципі базується метод ідентифікації?

17. Сформулюйте алгоритм методу доведення предикатних клауз методом ідентифікації.

18. При яких умовах і для яких предикатних клауз або тотожностей можна застосовувати алгоритм ідентифікації?

19. Які основні принципи покладені у метод резолюцій?

20. Сформулюйте алгоритм методу доведення предикатних клауз методом резолюцій.

21. При яких кінцевих умовах предикатна клауза буде істинною, а при яких – хибною?