операция логики высказываний, формализующая употребление связки "если и только если" в содержательных логич. выводах и в разговорном языке. Э. ("ЭКВИВАЛЕ?НЦИЯ") определяется обычно через импликацию ("?") и конъюнкцию ("&"); по определению выражение АЭКВИВАЛЕ?НЦИЯВ есть то же, что (??B) & (???), т.е. сокращенная запись конъюнкции двух импликаций. Т.о., истинность (выводимость, доказуемость) АЭКВИВАЛЕ?НЦИЯВ означает, что А и В имеют одинаковые истинностные значения (т.е. истинны или ложны одновременно). См. Алгебра логики.