Словарь логики - эквивалентность

или: Равнозначность, общее на­звание отношений, являющихся рефлексивными, симметричными и транзитивными (см.: Отношение типа равен­ства). Таковы, напр., отношения равночисленности, подобия, изо­морфизма и др. В логике Э. — сложное высказывание «р, если и только если q», образованное из высказываний р и q и разлагающееся на две импли­кации: «Если р, то q» и «Если q, то р», напр.: «Треугольник являет­ся равносторонним, если и только если он является равноуголь­ным». Термином «Э.» обозначается и связка «если и только если», с помощью которой из двух высказываний образуется данное слож­ное высказывание. Вместо «если и только если» для этой цели могут использоваться «в том и только в том случае, когда», «тогда и только тогда, когда» и т. п. .