А Б В Г Д Е Ж З И К Л М Н О П Р С Т У Ф Х Ц Ч Ш Ю Я #
C F G K L N P S T W Z

или эквивалентность, утверждений (формул) Аи В - понятие, означающее, что при каждом допустимом наборе значений параметров утверждения Аи Воба истинны или оба ложны. Напр., Р. уравнений, неравенств и их систем означает совпадение множеств их решений. Р. формул высказываний исчисления есть совпадение задаваемых ими булевых функций. Лит.:[1] Новиков П. С., Элементы математической логики, 2 изд., М., 1973. С. Н. Артемов.

Равнозначность (равносильность, Эквивалентность) — - отношение между высказываниями или формулами, когда они принимают одни и те же истинностные значения. Напр., при любых значениях элементарных высказываний формулы........
Философский словарь