Вопросы к Поиску с Алисой
Логическая эквивалентность и эквиваленция — разные понятия в математике, и их не следует путать. ru.ruwiki.ru reshator.com
Эквиваленция — это логическая операция, которая возвращает значение 0 или 1 в зависимости от исходных высказываний. reshator.com Эквиваленция двух высказываний означает, что оно будет истинным только при совпадении истинности обоих высказываний, а при несовпадении — ложным. reshator.com Обозначение эквиваленции: A ↔ B, читается «A то же самое, что B» или «A эквивалентно B». reshator.com
Логическая эквивалентность (равносильность) — это отношение, при котором эквиваленция истинна при всех значениях логических переменных на области определения. reshator.com Логические выражения A и B эквивалентны, когда эквиваленция A ↔ B истинна при всех значениях логических переменных. ru.ruwiki.ru ru.wikipedia.org
Таким образом, эквиваленция — это процесс, а логическая эквивалентность — результат этого процесса.