Интуитивно можно догадаться, что высказывания эквивалентны (равносильными), когда их значения истинности одинаковы. Например, эквивалентны высказывания: "железо тяжелое" и "пух легкий", так же как и высказывания: "железо легкое" и "пух тяжелый". Обозначим эквиваленцию символом <=> и запись "А <=> В" будем читать "А эквивалентно В", или "А равносильно В", или "А, если и только если В".
Таким образом, эквиваленцией двух высказываний А и В называется такое высказывание, которое истинно тогда и только тогда, когда оба эти высказывания А и В истинны или оба ложны.
Отметим, что высказывание типа " А, если и только если В " можно заменить высказыванием "Если А, то В и, если В, то А " (обдумайте это на досуге и обратите внимание на символ <=>). Следовательно, функцию эквиваленции можно заменить комбинацией функций импликации и конъюнкции. Запишем таблицу истинности для эквиваленции:
А | В | А<=>В |
И И Л Л | И Л И Л | И Л Л И |
Приведем примеры записи сложных высказываний с помощью обозначения логических связок:
"Быть иль не быть - вот в чем вопрос." (В. Шекспир) А V A <=> В
Если хочешь быть красивым, поступи в гусары." (К. Прутков) А => В