>
І
І
Л
Л
І
І
Л
Л
Л
І
І
І
Л
І
І
Таблиці істинності знаходять широке застосування для
В· Обчислення істинності складних висловлювань;
В· Встановлення еквівалентності висловлювань;
В· Визначення тавтологію.
Рівносильні формули логіки висловлювання - це висловлювання, які приймають однакове значення істинності при одних і тих же значеннях елементарних висловлювань, які входять у ці форми. Наприклад, А в†’ В, В ВЇ в†’ А ВЇ
Тотожно-істинна формула (тавтологія) - це формула, яка приймає значення істини при всіх значеннях, що входять до неї елементарних висловлювань
Тотожно-помилкова формула (протиріччя) - формула, яка при всіх значеннях, що входять до неї елементарних висловлювань, приймає значення брехні.
Приклад:
(А ВЇ Л… В) в†’ (АВ)
А
А ВЇ
В
А ВЇ Л… В
АВ
(А ВЇ Л… В) в†’ (АВ)
І
Л
І
І
І
І
І
Л
Л
Л
Л
І
Л
І
І
І
Л
Л
Л
І
Л
І
Л
Л
Список використаної літератури
1. М.Д. Купарашвілі, А.В. Нехаєв, В.І. Разумов, Н.А. Черняк В«Логіка. Навчальний посібник В», Омськ, 2005. p> 2. Гладкий А.В. В«Введення в сучасну логікуВ», МЦМНО, 2001. p> 3. Челпанов Г.І. В«Підручник логікиВ», Москва, 1897. br/>
