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

Эквиваленция и логическая эквивалентность связаны, но это разные понятия. ru.wikipedia.org ru.ruwiki.ru

Эквиваленция — логическая операция, которая позволяет из двух данных высказываний A и B получить новое высказывание «A равносильно B». znanierussia.ru Эквиваленция истинна, когда оба простых логических выражения имеют одинаковую истинность. ru.wikipedia.org ru.ruwiki.ru

Логическая эквивалентность — бинарное отношение, при котором два высказывания эквивалентны, то есть принимают одинаковые значения при любом наборе значений переменных. ru.wikipedia.org ru.ruwiki.ru Логически эквивалентные высказывания имеют различное строение, но являются истинными в одних и тех же случаях. znanierussia.ru

Связь между эквиваленцией и логической эквивалентностью заключается в том, что логические выражения A и B эквивалентны тогда и только тогда, когда эквиваленция A ⟺ B истинна при всех значениях логических переменных. ru.wikipedia.org ru.ruwiki.ru