Эквиваленция: различия между версиями

<strong>Логическая равнозначность или эквивале́нция</strong> (или '''эквивале́нтность'''<ref>[http://slovari.yandex.ru/dict/bse/article/00001/83100.htm БСЭ. Алгебра логики]</ref>) — это сложное логическое выражение, которое является истинным тогда и только тогда, когда оба простых логических выражения имеют одинаковую истинность. Двуместная [[логическая операция]] обычно обозначается символом ≡ или ↔.