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

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