У математиці та логіці Логічна еквівалентність логічне висловлювання, незалежне від моделі.
Логічна рівнозначність або еквівалент (або еквівалентність) — це логічний вираз, який є істинним тоді, коли обидва прості логічні вирази мають однакову істинність. Двомісна логічна операція зазвичай позначається символом ≡ або ↔.
рівнозначний, рівносильний чомусь, що повністю замінює будь-що у будь-якому відношенні ◆ Відсутній приклад вживання (див. рекомендації).