10. Понятие и обозначение эквивалентности

Эквивалентность — логическая операция «A тогда и только тогда, когда B». Она истинна, если оба высказывания имеют одинаковые значения истинности. Обозначается A ↔ B (также A ≡ B).