В чём разница между эквивалентностью и эквиваленцией в логическом программировании?

Возможно, имелись в виду понятия «эквивалентность» и «эквиваленция» в контексте логического программирования.

Эквивалентность (логическая равнозначность) — это операция в алгебре логики, которая возвращает истину, если оба её аргумента имеют одинаковые значения. future-step.ru Если значения различаются, результат будет ложью. future-step.ru

Эквиваленция (логическое равенство) — это операция, которая возвращает истину, когда оба высказывания имеют одинаковое значение истинности (оба истинны или оба ложны). got-it.ru ege-study.ru Если значения истинности высказываний различны, эквиваленция будет ложной. ege-study.ru

Таким образом, разница между понятиями в том, что эквивалентность фокусируется на равенстве значений, а эквиваленция — на связи между двумя утверждениями, где истинность одного гарантирует истинность другого, и наоборот. got-it.ru