Equivalencia

Se dice que dos esquemas son equivalente si cada uno de ellos implica el otro. Así, la fórmula ¬(p ∪ q) es equivalente a la fórmula ¬p ∩ ¬q. Igualmente podemos concluir que una equivalencia es un bicondicional válido o verdadero para todas las interpretaciones posibles de sus componentes.

Cuando un bicondicional es lógicamente verdadero, se puede decir que su antecedente equivale a su consecuente.