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

1.    Який вид речень моделює формальна логіка?

2.    Наведіть приклад речень, які не розглядають у формальній логіці.

3.    Що таке висловлювання? Дайте визначення.

4.    Що мають на увазі під істинним значенням висловлювання?

5.    Які висловлювання називають атомом?

6.    Що мають на увазі під інтерпретацією висловлювання?

7.    Що мають на увазі під однозначно визначеним висловлюванням?

8.  Дайте визначення логічного наслідку одного (кількох) висловлювань.

9. Наведіть формули логіки висловлювань, що містять будь-які логічні зв’язки, і відповідні до них речення природної мови.

10. Дайте визначення умовного і еквівалентного висловлювання.

11. Дайте визначення конверсії, інверсії та контрапозиції висловлювання.

12. Дайте визначення правильно побудованої формули логіки висловлювань.

13. Наведіть формули логіки висловлювань і відповідні їм речення природної мови, що містять будь-які логічні зв’язки.

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

15. Дайте визначення інтерпретації формули логіки висловлювань.

16. Яку формулу логіки висловлювань називають тавтологією?

17. Яку формулу логіки висловлювань називають тотожно хибною?

18. Яку формулу логіки висловлювань називають нейтральною?

19.Яку загальну систему повноти логічних зв’язок мають логічні висловлювання?

20. На які системи повноти логічних зв'язок розпадається повна система?

21.  Дайте визначення дедуктивного висновку.

22. В чому полягає різниця дедуктивного і не дедуктивного висновку.

23. Яким чином будують дедуктивний висновок?

24. Дайте характеристику основних правил дедуктивного висновку.

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

26. Дайте визначення побудові формули в логіці висловлювань.

27. Що таке інтерпретація висловлювання?

28. Що називають однозначно визначеним висловлюванням?

29. Що називають запереченням висловлювання?

30.  Що називають кон’юнцією і диз’юнкцією висловлювання?

31.  Які операції в логіці висловлювань є унарні, а які бінарні, назвіть їх?

32.  Що у логіці висловлювань називають логічними зв’язками?

33.  Скільки зв’язків є у логіці висловлювань, назвіть їх?