Fórmulas Equivalentes (L.Prop.)

Fórmulas lógicamente equivalentes, es decir con el mismo significado lógico son los pares de fórmulas que tienen la misma tabla de verdad.

Ej. “No es cierto que hoy es martes y feriado.”  ¬ (p ᴧ q)
No es lógicamente equivalente a: “Hoy no es martes y hoy no es feriado.”  ¬ p ᴧ ¬ q
Se puede verificar con la tabla de verdad.

Algunas fórmulas lógicamente equivalentes: 
(se escribe con doble línea entre ellas, puse una sola porque por este medio no encontré doble)

• Definición de la conjunción en términos de disyunción y viceversa:

¬ (A ᴧ B)             ¬ (A v B) 

¬ A v ¬ B            ¬ A ᴧ ¬ B

• Definición del condicional en términos de conjunción:

A → B

¬ (A ᴧ ¬ B)

• Definición del condicional en términos de disyunción:

A → B

¬ A v B

• Transposición:

A → B

¬ B → ¬ A