ЭКВИВАЛЕНТНОСТЬ

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



Словарь по логике 

ЭКВИВОКАЦИЯ →← ЭЙЛЕРА КРУГИ

T: 0.112163391 M: 3 D: 3