Ce reprezintă echivalența logică și cum se notează?

Echivalența logică, notată cu $p \leftrightarrow q$ sau $p \equiv q$, este adevărată când ambele propoziții $p$ și $q$ au aceeași valoare de adevăr.
Se citește "p dacă și numai dacă q".
Este falsă când valorile de adevăr diferă.