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

1. Визначення некласичної логіки.

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

3. Визначення багатозначної логіки.

4. Обставини виникнення тризначної логіки Я.Лукасевича.

5. Види оцінок висловлювання в тризначній логіці Я.Лука- севича.

6. Табличне визначення логічних сполучників у тризначній логіці Я.Лукасевича.

7. Визначення логічних сполучників у формі рівностей.

8. Співвідношення тавтологій класичної логіки з класом тав- тологій тризначної логіки Я.Лукасевича.

9. Багатозначна логіка як узагальнення двозначної логіки.

10. Принципи побудови чотиризначної логіки Я.Лукасевича.

11. Визначення логічних сполучників у чотиризначній логіці Я.Лукасевича.

12. Побудова таблиці істинності в чотирьохзначній логіці Я.Лукасевича.

13. Вихідні умови побудови багатозначної логіки Брауера — Гейтінга.

14. Визначення заперечення (N) та імплікації (C).

15. Передумови побудови багатозначної логіки Е.Поста.

16. Два види заперечення у Е.Поста.

17. Визначення кон’юнкції та диз’юнкції у Е Поста.

18. Вихідні принципи логіки Д.Бочвара.