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