Большой англо-русский словарь (с транскрипциями) EQUIVALENCE of propositions мат. эквивалентность высказываний