Практична робота №7

Тема: Тавтології.
Мета: Навчитись визначати тавтологічні формули.
Завдання: Довести, що формула ( A ∧ B)∧ C ↔ A ∧ ( B ∧C ) є тавтологія.
Теоретичні примітки: Нагадаю (див. попередні лекції), що формула
називається тавтологією, якщо вона набуває лише справжніх значень при будь-
яких значеннях літер. Іншими словами, тавтологія – це тотожно справжня
формула.

Приклад:
Довести, що формула ( A ∨ B)∨ C ↔ A ∨ ( B ∨C ) є тавтологія.
Встановити, чи є формула тавтологією, можна:
- За таблицею істинності,
- Використовуючи властивості логічних операцій.
Для рішення прикладу ви користатиме властивості логічних операцій (див.
попередні лекції).
Доведення:
¿
Отже, вихідна формула - тавтологія.

Примітка: Тотожну істинність імплікації зручно доводити від протилежного, а

тотожну істинність еквіваленції встановленням рівності значень лівої та правої
частини.

Для вирішення практичного завдання можна використовувати будь-який спосіб

за бажанням.