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

Эквивалентность (лат. равносильный, равнозначащий) в логике - отношение между высказываниями (суждениями, предложениями, формулами), выражающие тот факт, что два высказывания имеют одинаковые значения истинности (т. е. оба истинны или оба ложны). Термин «Э.» употребляют и в более широком смысле - для обозначения всевозможных отношений типа равенства, т. е. отношений, обладающих двойствами рефлексивности, симметричности и транзитивности. Примерами таких отношений могут служить подобие или равновеликость геометрических фигур, равномощность множеств (Множеств теория), изоморфизм к.-л. систем (Изоморфизм и гомоморфизм), параллельность прямых или плоскостей.

Источники:

1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.