Логическая равнозначность или эквивале́нция (или эквивале́нтность[1]) — это логическое Двуместная логическая операция обычно обозначается символом ≡ или ↔. Эквиваленция. В логике отношение эквивалентности между высказываниями передается знаком ~, а равенство знаком. Смысл различия состоит в том, что эквивалентность «выражает лишь отношение. Логическая операция, называемая эквивалентностью, соответствует Рис. Диаграмма Венна (эквиваленция). Запись F1 º F2 читается: "формула F1 равносильна формуле F2".
