ESCUELA DE CIENCIAS BASICAS, TECNOLOGIA E INGENIERIA MODULO DE LOGICA MATEMÁTICA
Ejemplo 3 Establecer si las proposiciones (p →q ) y (~ p v q ) son lógicamente equivalentes. Para esto hay que probar que (p →q) ↔ (~ p v q), la tabla de verdad es: p q 1 1 0 0
1 0 1 0
p →q 1 0 1 1
~p
~pvq
0 0 1 1
1 0 1 1
(p →q ) ↔ (~ p v q) 1 1 1 1
Como la última columna es toda verdadera (tautología), se puede concluir que las proposiciones son lógicamente equivalentes.
63