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