1. Логическое отношение между понятиями, объемы которых полностью совпадают. На схемах Эйлера это отношение изображается одним кругом, обозначающим полностью совпадающие объемы двух понятий. 2. Логическое отношение между двумя простыми сравнимыми суждениями, у которых субъекты, предикаты и связки совпадают.
РАВНОЗНАЧНОСТЬ
РАВНОЗНАЧНОСТЬ
Источник: Краткий курс логики: глоссарий
РАВНОЗНАЧНОСТЬ (равносильность, эквивалентность)
- отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы (A v B) и (B v A), (A v (A & В)) и A принимают одни и те же значения, т. е. если одна из них истинна, то и другая истинна, если одна из них ложна, то и другая также ложна. Если два высказывания A и В равнозначны, то формулы А -> В и B -> А будут тождественно истинными.
Источник: Словарь по логике