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

1. A toda proposición condicional p q que sea tautología le llamaremos implicación

lógica ( o simplemente implicación) en este caso a la condicional denotaremos por
Ejemplo:

Puesto que:
p q
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

Es una tautología. Por lo tanto es una implicación lógica.

Ejemplo:
[ p →(q ∧ p)]→ q

Es una contigencia. Por lo tanto no es implicación lógica.

2. A toda bicondicional p q que sea tautología se le llama equivalencia lógica (o

simplemente equivalencia) y en este caso a la bicondicional denotaremos por p
q.
Ejemplo:

p q

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

Es una tautología. Por lo tanto es una equivalencia lógica

EJEMPLOS:
Demostrar que A es equivalente a B
A :( p → q)

B:( p ∨q)

( p → q)↔(∼ p ∨q)
Es una tautología. Por lo tanto es una equivalencia lógica.

Demostrar que C es equivalente a D.

C :[(∼ p∨ q)∧∼ q]

D :(∼ p)

[(∼ p ∨q) ∧∼ q ]↔(∼ p)

Es una tautología.
Por lo tanto es una equivalencia
lógica.

PROPOSICIONES LÓGICAMENTE EQUIVALENTES.

Cuando sus tablas de verdad de dos proposiciones p y q son idénticos se denominan
equivalentes en este caso se simboliza en la forma.
Ejemplo: Las proposiciones son lógicamente equivalentes,
puesto que sus tablas de verdad son idénticos.

p q ~q ~p
V V V V
V F F F
F V V V
F F V V

EJEMPLOS:
Las proposiciones son lógicamente equivalentes:
a) [( p ∧q)→ r ]
b) [ p →( q ∧r )]

p q r [( p ∧q) → r ] [ p →(q ∧r )]

V V V V V V V V V
V V F V F F V F F
V F V F V V V F F
V F F F V F V F F
F V V F V V F V V
F V F F V F F V F
F F V F V V F V F
F F F F V F F V F
∴ [ ( p ∧ q ) →r ] ≢ [ p →(q ∧ r )]
Las proposiciones son lógicamente equivalentes:
a) [(∼ p ∧∼ q) ↔r ]
b) [ p ↔ (q ∧ r )]

p q r [(∼ p ∧∼ q) ↔r ] [ p ↔ (q ∧ r )]

V V V F F V V F F V
V V F F V F V V V F
V F V F F V V V V F
V F F F V F V V V F
F V V F F V F V F V
F V F F V F F F V F
F F V V V V F F V F
F F F V F F F F V F

∴[( p ∧ q) ↔ r ]≢[ p ↔ (q ∧r )]

EJERCICIOS
RESOLVER
1. A implica B
A :( p ∨ q)
B:( q → p)

2. C es equivalente D
C :(p → q)
D : ( p ∧∼q)

3. Las proposiciones son lógicamente equivalentes: r → (p ∧ ∼ q)

a) p →(q ∨r )
b) ∼ p ∧(q ∨r )
c) ∼ q →( p ∨r )