Головна |
Практичне заняття №12Тема: Побудова висновків теорем Тривалість 2 год мета: Вивчити поняття доведення теорем в обчисленні висловлювань, навчитися доводити теореми і слідства з гіпотез. Завдання. 1. Вправи 1-2 на стор. 40 по книзі [1]. 2. Вправи 1-2 на стор. 43 по книзі [1]. Вказівки до вирішення завдань. 1. Подивитися приклади доведення теорем на стор. 41-42 книги [1]. самостійно: Вправи 3-4 на стор. 40 по книзі [1]. Практичне заняття №13 Тема: Незалежність аксіом числення висловів Тривалість 2 год мета: Вивчити поняття незалежності аксіом обчислення висказианій навчитися вирішувати завдання на доказ аксіом і правил виведення. Завдання. 1. Довести незалежність аксіоми (А1) ([1], стор.46). 2. Довести незалежність аксіоми (А2) ([1], стор.47). 3. Довести незалежність аксіоми (А3) методом стирання всіх заперечень ([1], стор.47). Вказівки до вирішення завдань. 1. Побудувати таблиці для операцій заперечення і імплікації на безлічі 0, 1, н так, що (А2), (А3) рівні 1, і якщо умови правила МР рівні 1, то його висновок теж дорівнює 1, але (А1) може дорівнювати 0 або н. 2. Побудувати таблиці для операцій заперечення і імплікації на безлічі 0, 1, н так, що (А1), (А3) рівні 1, і якщо умови правила МР рівні 1, то його висновок теж дорівнює 1, але (А2) може дорівнювати 0 або н. самостійно: Довести незалежність аксіоми (А3) ([1], вправа на стор.47). Практичне заняття №11 | Практичне заняття №14 Лекція №13. | Лекція №14. | Лекція №15. | Лекція №15. | Лекція №16. | Лекція №18. | Лекція №19. | Практичне заняття №1 | Практичне заняття №6 | Практичне заняття №10 | |