Эквивалентность

ЭКВИВАЛЕНТНОСТЬ (лат. aequivalens — равносильный, равнозначащий) в логике — отношение между высказываниями (суждениями, предложениями, формулами), выражающее тот факт, что два высказывания имеют одинаковые значения истинности (т. е. оба истинны или оба ложны). Термин «Эквивалентность» употребляют и в более широком смысле — для обозначения всевозможных отношений типа равенства, т. е. отношений, обладающих свойствами рефлексивности, симметричности и транзитивности. Примерами таких отношений могут служить подобие или равновеликость геометрических фигур, равномощность множеств (Множеств теория), изоморфизм каких-либо систем (Изоморфизм и гомоморфизм), параллельность прямых или плоскостей.

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 531.