EQUIVALENCIAS LOGICAS
En lógica, las sentencias p y q son lógicamente equivalentes si poseen el mismo contenido lógico.
Sintácticamente, p y q son equivalentes si cada una puede probar a la otra. semánticamente, p y q son equivalentes si ambas tienen el mismo valor de verdad en cada modelo.
La equivalencia lógica de p y q a veces se denota 
o bien 
. Sin embargo, estos símbolos son también utilizados para denotar el bicondicional. La interpretación propia depende del contexto, y aunque ambos conceptos están fuertemente relacionados, la equivalencia lógica es diferente de la equivalencia material.
