EQUIVALENCIA DE PROPOSICIONES

Dos proposiciones compuestas se dicen equivalentes cuando cada

una de las asignaciones de valores de verdad de las proposiciones
simples que las componen generan el mismo valor de verdad en
ambas proposiciones. Es decir, dos expresiones son lógicamente
equivalentes si sus Tablas de verdad son iguales.

Ejemplo: Demostrar si p ^ ¬q y ¬(p ! q) son equivalentes.

Solución: Primero se hace la Tabla de verdad de cada proposición compuesta (con

iguales y ordenadas combinaciones de los valores de verdad de p y q):
p ^ ¬q ¬(p ! q)

¶
{

8
<

:
®

Luego, las dos

p q ¬q p ^ ¬q columnas de p q p ! q ¬(p ! q)
V V F F resultados se V V V F
comparan. En este
V F V V V F F V
ejemplo se ve que las
F V F F dos proposiciones F V V F
F F V F son equivalentes: F F V F
p ^ ¬q ⌘ ¬(p ! q)