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