Эквиваленция двух высказываний

.

Закон контрапозиции

Импликация и импликация имеют одно и тоже значение истинности, т. е. они одновременно истинны или одновременно ложны:

Докажем с помощью таблицы истинности.

А	В
и и л л	и л и л	и л и и	л и л и	л л и и	и л и и

Задание: Докажите следующее утверждение самостоятельно:

Эквиваленция двух высказываний образуется при помощи логической связки: «тогда и только тогда», «если и только, если».

Определение: Эквиваленцией высказываний А и В называется высказывание которое истинно только тогда, когда высказывания А и В имеют одно и то же значение истинности, т. е. одновременно истинны или одновременно ложны.

– эквиваленция высказываний А и В. Читается «А тогда и только тогда, когда В».

Таблица истинности эквиваленции

Дата добавления: 2014-01-11