IMPLICACIÓN LÓGICA Y EQUIVALENCIA LÓGICA

1. IMPLICACIÓN LÓGICA Y EQUIVALENCIA LÓGICA

IMPLICACIÓN LÓGICA

Se llama implicación lógica o simplemente implicación a toda condicional

p  q que sea tautología.

Ejemplo:
Verifica si la siguiente condicional es una implicación lógica:

(p  q)  ~ q  ~ p
p q (p  q)  ~ q  ~p
V V V F F V F
V F F F V V F
F V V F F V V
F F V V V V V

En la columna resultado se observa los valores de verdad, en este caso todos son verdaderos.
Entonces, afirmamos que la condicional es tautología, por tanto, es una implicación lógica. Si en la
columna resultado se obtiene contradicción o contingencia, entonces, no existe implicación lógica.

EQUIVALENCIA LÓGICA

Se llama equivalencia lógica o simplemente equivalencia a toda bicondicional p  q que sea

tautología.
Ejemplo:

Verifica si la siguiente bicondicional es una equivalencia lógica:

p  (p  q)  p
p q p  (p  q)  p
V V V V V V V
V F V V V V V
F V F F V V F
F F F F F V F

Como se verifica que el resultado de la bicondicional, es tautología, afirmamos que es

unaequivalencia lógica.
Entonces, podemos afirmar que: p  (p  q)  p

ACTIVIDAD DE APRENDIZAJE Nro. 02

1) Construye las tablas de valores de verdad de las siguientes proposiciones y evalúa si es tautología,
contradicción o contingencia:
a) (p  ~ q)  ~ p  ~ (~ q  p)
b) p  (q  r)    (~p  ~r)  ~q
2) Dadas las proposiciones: M= (p  q)  ~p y N = (~p  q)
Evalúa si M implica a N.
3) Dadas las proposiciones S = ~p  (p  q) y T= (p  ~q)
Evalúa si S es equivalente a T.