Що таке еквівалентність?

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

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

У математики та логіці Матеріальна еквівалентність, або еквівалентність, — логічна операція, що відповідає рівності в булевій алгебрі. Логічна еквівалентність – логічне висловлювання, незалежне від моделі.