Equivalência Lógica - diz-se que uma proposição P é logicamente equivalente a uma proposição Q, se as tabelas verdade destas duas proposições são idênticas.
Assim, quando as proposições P e Q são ditas equivalentes, então escrevemos: P ⇔ Q
Por exemplo:
P: p → (q → r) ⇔ Q: (p ∧ q) → r
Lembre-se também que, segundo o Teorema, a proposição P é equivalente à proposição Q (isto é, P ⇔ Q), se e somente se a bicondicional P ↔ Q for tautológica.
Vale ressaltar que os símbolos ↔ e ⇔ são distintos. O símbolo ↔ representa uma operação lógica, enquanto que ⇔ indica uma relação que estabelece que a equivalência e que a bicondicional é tautológica. Veja:
