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

1. Які умови повинні бути виконані під час визначення формальної аксіоматичної теорії L?

2. Що називають аксіомами теорії L?

3. Що називають гіпотезами виведення у теорії L?

4. Що називають наслідком у теорії L і як його позначають?

5. Що називають теоремою в теорії L?

6. Яким способом задають формальну аксіоматичну теорію L?

7. Скільки правил виведення використовують у теорії L?

8. Які аксіоми використовують у теорії L для доведення будь-яких формул у логіці висловлювань? Запишіть їх.

9. Які ви знаєте інші аксіоматичні числення висловлювань? Запишіть їх.

10. Сформулюйте теорему дедукції.

11. Для яких цілей застосовується теорема дедукції?

12. Яке основне правило виведення використовують у теоремі дедукції?

13. Чи використовують гіпотези, аксіоми та самі формули при доведенні теореми дедукції?

16. На чому ґрунтується аксіоматичний метод?

17. Яка аксіома використовується як основна при аксіоматичному методі?

18. Яке правило найчастіше використовується в аксіоматичному методі?

19. Назвіть тотожності та закони алгебри Буля, які використовуються в аксіоматичному методі.

20. Сформулюйте означення конструктивного методу.

21. Яка відмінність конструктивного методу від аксіоматичного?

22. Що розуміють під мінімальним покриттям?

23. Сформулюйте метод доведення висловлювань від супротивного.

24. У чому різниця методів доведення логічних висловлювань від супротивного і аксіоматичного?

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

26. Яка аксіома використовується в методі резолюцій?

27. Чим відрізняється метод резолюцій від аксіоматичного і конструктивного методів?