LOGO

EQUIVALENCIAS LGICAS
Profesor: Widman Gutirrez

EQUIVALENCIAS
LOGICAS
Dos proposiciones compuestas o Frmulas Lgicas
P y Q son equivalentes, si unidos por el
bicondicional , el resultado es una Tautologa;
es decir que ambas proposiciones tienen el mismo
valor de verdad.

Se denota:

PQ
o
P Q
Se lee: P es equivalente a Q o

viceversa
Ejemplos:
a) [(pq) r] [p (qr)] (Exportacin)
b) (pq) [p (p q)] (Expansin 1)
c) (pq) [q (p q)] (Exp. 2)
d)
p p (q ~q) (Exp. 3)
e)
p
p (q ~q) (Exp. 4)

LEYES DE EQUIVALENCIAS

o
Conmutativas (Conm.)
Leyes

(pq) (q p)
(pq) (qp)
(pq) (qp)
(p q) (p q)
o Leyes Asociativas (Asoc.)
p(qr) (pq)r
p(qr) (pq) r
p (q r) (p q) r
o Leyes Distributivas (Distrib.)
(pq) r (pr) (qr)
(pq) r (pr) (qr)
p(qr) (pq)(qp)
p(qr) (pq)(qp)

LEYES DE EQUIVALENCIAS

o
Negacin (DN)
Doble

~~p p
~~~p ~p
o Teoremas de De Morgan (DM)
~(pq) ~p~q
~(pq) ~p~q
pq ~(~p~q)
pq ~(~p~q)
o Idempotencia (Idem.)
pp p
pp p
o Def. del condicional (Def. cond.)
pq ~pq
pq ~(p~q)

LEYES DE EQUIVALENCIAS

o
del bicondicional (Def.
Def.

Bicondicional)
p q (pq) (qp)
pq [ (pq) (~p~q) ]
o Absorcin (Abs.)
p (p q) p
p (p q) p
p (~p q) pq
p (~p q) pq
o Transposicin (Trans.)
pq ~q~p
p q (~ q ~p)

LEYES DE EQUIVALENCIAS

EJEMPLOS

1. Demostrar que: (pq) (~q ~p)

Solucin:

(pq) (~q ~p)

~ (~q ) V ~p Ley de la Condicional

q
~p
p

V ~p Ley de la Doble Negacin

V q Ley Conmutativa
q Por Definicin

2. Simplificar la siguiente proposicin: A = (~pq) (q p)

Solucin:

A = ~ (~pq) V (q p)
= ( p v ~q) v (~q v p )
= ( p v ~q) v ( p v ~q)
= pv ~q

Ley de la Condicional
Ley de Morgan y Condicional
Ley Conmutativa
Ley Idempotencia

LEYES DE EQUIVALENCIAS

EJERCICIOS

a)p ~q

1.Demostrar que:
~(p q)
b) p (q v ~q) p
c) ~ [~ (p q) ~q ] v q q

2.Simplificar y representar mediante Circuito:

a) ~ [ p ~(q v r) ]
b) ~(p) (p ~ q)
c) (p v q) [(~p v q) (p q) ]
R: p v ~ q
3.Determinar si a) y b) son proposiciones equivalentes:
a) p (r v ~ q)
b) (q ~p) v ( ~r ~ p)
Nota:

Se puede determinar la equivalencia mediante la tabla de verdad o mediante la

simplificacin.