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

[отпатрулированная версия][отпатрулированная версия]
Содержимое удалено Содержимое добавлено
Нет описания правки
Нет описания правки
Строка 30:
Не надо путать эквиваленцию — логическую операцию с [[Отношение эквивалентности|эквивалентностью]] — [[Бинарное отношение|бинарным отношением]]. Связь между ними следующая:
 
<blockquote>Логические выражения X1X и Y эквивалентны в том и только в том случае, когда эквиваленция <math>X \leftrightarrow Y</math> истинна при всех значениях логических переменных.</blockquote>
 
== Примечания ==