2.0 KiB
title | localeTitle |
---|---|
Tautologies | Тавтологии |
Тавтологии
Определение
В логике тавтология - это утверждение, которое верно во всех возможных случаях. Противоположность тавтологии - это противоречие, утверждение ложное во всех возможных случаях.
пример
п
Q
p OR q
p → p OR q
T
T
T
T
T
F
T
T
F
T
T
T
F
F
F
T
Как видно из таблицы истинности, утверждение «p → p OR q» всегда истинно (см. Последний столбец).
Примером булевой логики является B || !B
Всегда верно, что B истинно или B не соответствует действительности.
Противоположностью тавтологии является противоречие, формула, которая «всегда ложна». Другими словами, противоречие ложно для каждого присваивания истинностных значений его простым компонентам.
Примером противоречия с булевой логикой является B && !B
Невозможно, чтобы B одновременно было истинным и ложным.
Заметка
Стрелка просто означает «подразумевает». p означает p OR q, это также может означать, если ... тогда ...
Дополнительная информация:
Тавиология Википедии (Логика) Таблицы прав на Youtube Символы логики Википедии