Equivalencias Notables:

1.

Ley de Doble Negacin:

a) ( p ) p

2.

Ley de Idempotencia:
a) p p p
b) p p p

3.

Leyes Conmunitativas:
a) ( p q ) ( q p )
b) ( p q ) ( q p )
c)
p q qp

4.

Leyes Asociativas:
a) p ( q r ) ( p q ) r
b) p ( q r ) ( p q ) r
c) p ( q r ) ( p q ) r

5.

Leyes Distributivas:
a) p ( q r ) ( p q )
b) p ( q r ) ( p q )
c) p ( q r ) ( p q
d) p ( q r ) ( p q

6.

pr)
pr)
(pr)
(pr)

Leyes de Morgan:
a) ( p q ) p q
b)

7.

(
(
)
)

(pq) pq

Leyes del Condicional:

a) p q p q
b)

(pq) pq

8.

Las Leyes del Bicondicional:

a) ( p q ) ( p q ) ( q p )
b) ( p q ) ( p q ) ( p q )

9.

Ley de la Absorcin:
a) p ( p q ) p
b) p ( p q ) p q
c)

p(pq) p

d)

p ( p q ) p q

10. Leyes de Transposicin:

a) (p q ) q p
b)

pq qp

11. Leyes de Exportacin:

a) ( p q ) r p ( q r )
b)

( p1 p2 p3 ..... pn ) r ( p1, p2, ..... pn - 1 ) (pn r )

12. Elementos Neutros para la Conjuncin y Disyuncin:

a) p V p
b)

pF p

13. Tambin:
a) ( p q ) ( p q ) p
b)

(pq) (pq) p

Ejercicios

1.

2.

Determinar el valor de verdad de cada una de las siguientes proposiciones:

a)

Si 4 + 3 = 7, entonces 6 + 4 = 10

(V)

b)

El IESPP JULI est en Juli o Pomata

(V)

c)

No es verdad que 3 + 3 = 7, si y slo si 8 + 2 = 15

(F)

d)

No es verdad que: 2 + 2 = 5 o que 2 + 2 = 4

(F)

e)

4 + 8 = 12 y 9 4 = 5

(V)

f)

El IESPP JULI en Pomata

(F)

g)

3+4=7y31=1

(F)

Determinar si es una tautologa, contradiccin o contingencia:

a)

{[p(q p)] [(p q)(q p)]}

b)

[p(qr)][(pr)q]

c)

[p(rq)]

d)

[ ( p q ) r ] [ r ( p q ) ]

e)

[p(qr)][(pr)~q]
Solucin:

a)

El esquema molecular es igual a:

[p(q p)]

[ p

V
V
F
F

V
F
V
F

V
V
F
F

[(p q)(q p)]

( q p ) ] [ ( p q ) ( q p ) ]

V
V
V
F

V
V
V
F

V
F
V
F

F
V
V
F

V
F
V
V

F
F
V
F

Es una CONTINGENCIA

b)

[p(qr)][(pr)q]
p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

[ p

(qr) ]

F
F
F
F
V
V
V
V

F
F
F
F
V
V
V
F

V
V
V
F
V
V
V
F

p
V
V
V
V
F
F
F
F

V
F
V
V
V
V
V
V

[ ( p

F
F
V
V
V
F
F
V

V
V
V
V
V
F
V
F

CONTINGENCIA

c)

[p(rq)]
p
q
r
V
V
V
V
V
F
V
F
V
V
F
F
F
V
V
F
V
F
F
F
V
F
F
F

CONTINGENCIA

(rq) ]
V
F
V
V
V
F
V
V

r)q]
V
V
F
F
V
F
F
F

V
V
F
F
V
V
F
F

d)

[ ( p q ) r ] [ r ( p q ) ]
p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

e)

[(p q) r ]
F
F
F
F
V
V
F
F

V
V
V
V
F
V
V
V

F
V
F
V
F
V
F
V

F
F
F
F
F
F
F
F

(pq)]

V
F
V
F
V
F
V
F

F
F
F
F
V
F
F
F

F
F
F
F
V
V
F
F

CONTRADICCIN

[p(qr)][(pr)q]
p

V
V
V
V
F
F
F
F

V
V
F
F
V
V
F
F

V
F
V
F
V
F
V
F

V
V
V
V
F
F
F
F

V
F
V
V
V
V
V
V

(qr) ]
V
F
V
V
V
F
V
V

V
V
V
V
V
V
V
V

[ ( p r )
F
V
F
V
F
F
F
F

V
F
V
V
V
V
V
V

~q]
F
F
V
V
F
F
V
V

TAUTOLOGA
3.

El valor de verdad de: (p q) ( r s) es falso, determinar el valor de verdad de

los esquemas moleculares:
a)

( p q) q

b)

(rq)[(qr)s]

c)

(pq)[(pq)q]
Solucin:
(p q) ( r s) F
pqF
pV
qV

a)

rsF
rF
sF

( p q) q
(FF) F
F F
F

b)

(rq)[(qr)s]
(VV)[(FF)F]
V(FF)
V F
F

c)

(pq)[(pq)q]
(VV)[(VV)F]
V (V F)
V F
F

4.

Simplificar las proposiciones siguientes aplicando las leyes lgicas:

[ (pq)q]q
[ (pq) q ]q
[(p q) q ]q
[(pq) q ]q
q
5.

Si definimos # como ( p # q ) ( p q ) ( p q ). Hallar una expresin

equivalente a p # q.
(p#q)(pq)(pq)
(p#q)(pq) (pq)
(p#q)[(pq) p] [(pq) q]
( p # q ) ( p q ) ( q p ]
(p#q) ( qp)
(p#q) [ (pq)

(pq)
(qp)]

(p#q) [ pq)]

6.

Demostrar que son equivalentes:

[pq ] (pq)
[(pq)
(pq)
(p q)
(qp)

(p q)]

(p q)
(p q)

(pq)
(qp)
(pq)

7.

Simplificar: [ ( p q ) ( p q ) ] ( p q )

Solucin:
[(pq)(pq)](pq)
[ p(q q)](pq)
[pV](pq)
p(pq)
pq
8.

a)
b)
c)

Dadas las proposiciones:

q: 7 es un nmero racional
p y r cualquier proposicin, adems se sabe que:
[ ( r q ) ( r p ) ] es verdadera.
Hallar el valor de verdad de:
r(pq)
[r(pq)](qp)
(rp)(qp)
Solucin:
Del ejercicio tenemos que q F, adems:
(rq)(rp)F
V

Por lo tanto:
rqV

rpF

r=V

r=V

q=F

p=F

9.

a)

r(pq)
V(VV)
VV
V

b)

[r(pq)](qp)
[V(FF)](F V)
(VF)F
FF
V

c)

(rp)(qp)
(VV)(FF)
VF
F

Dado: [ ( p q ) (q r ) ] ( p r ) F
a)
b)
c)

Encontrar el valor
[p (q r)]
(p q r)
[p (p r)]

de verdad de:
p
(pr)
(pq)

Solucin:
Dado que:
[ ( p q ) (q r ) ] ( p r ) F
V
Por lo tanto:
[ ( p q ) (q ~ r ) ] V
V
pq
p=V
q=V

qr
r=F

a)

[p (q r)]
[V(V F)]
[V F]
F

b)

(p q r) (pr)
(V V F) (VF)
F V
F

c)

[p (p r)]
[V (V F)]
(V F)
F

p
V
V
V

(pq)
(VV)
V
V

10. Simplificar a su mnima expresin:

{[(pq)(pq)]}
Solucin:

(pq)(pq)
(pq)(pq)
(pq) pq

p q

11. Simplificar el siguiente circuito:

p q
p

p
q

q
Solucin:

[ ( p q ) (p q) ] { p [ q ( r p ) ] }
[ (p q ) ] [ ( p q ) ( p ( r p ) ) ]
V[(p q) V
V(pq)
pq
p
q
12. Simplificar el circuito:
P

Solucin:
{ ( p q ) [ ( r q ) (q r) ] } [ ( r q ) ( r q ) ]
[(p q)[(rq)r]}[(rq)(rq)]
[(p q) V}[(rq)(rq)]
(p q)( rq)(r q)
p q (qr)(r q)
p q (q r)
p (q r)
pqr
p
q
r

13. Simplificar el circuito:

p

Solucin:
(pqr)(pqr) (pqr)
[(p r)q][(pr) q](pqr)
[(p r)(q q] (pqr)
(p r)[r(pq)
r [p (pq)
r (pq)
p
r

14. Hallar x tal que:

p
p

p
x
Sea equivalente a p.
Solucin:
( p q ) { p [ ( pq ) p ( pq ) p ( ( pq ) x ) ) ] } p
(pq){p [ pp[(pq)x]]} p
(pq) p [(pq) x] p
p[(pq)x] p
[pq](p x) p
p(q x) p
x p
15. Representar grficamente las siguientes expresiones:
a)

p q

pq

q
b)

(pq)r
p
r
q

c)

[pq(pq)] [(pq)p]

p
q

16. Determinar la menor expresin que representa al circuito:

p
q

q
p

p[p(q(pq))]q
p[q ( p q ) ]q
p[qp]q
pq
(pq)
17. Simplificar y hallar el equivalente a los circuitos dados.
a)

r
s

r
r
s
p
r

r
{[(rs)(rs)]s}[r(pr)]
{[(rs) s] [(r s) s)]} (r p)
[(r s)s] (r p)
s (r p)
s
p

b)
p

p
q

q
p
{ [ (p q) (q p) ] [ (p q) (p p) ] } (p q)
[ ( p q ) ( q p ) ] (p q)
p q
p

c)

p
q

[(pq)pq][(pq)(pq)p] p
[(qp)q][ p(pq)p] p
[ p q] p
(p q)

18. Simbolizar:
Si Juan participa en un comit electoral de la universidad entonces los estudiantes se enojarn con
l, y si no participa en un comit electoral de la universidad entonces las autoridades universitarias
se enojarn con l. Pero Juan participar en un comit electoral de la universidad o no participar.
Por lo tanto, los estudiantes o las autoridades universitarias se enojarn con l.
Solucin:
p
= Juan participar en un comit electoral.
q
= Los estudiantes se enojarn con Juan.
r
= Las autoridades universitarias se enojarn con Juan.
[(pq)(pr)(pp)](qr)

19 Si Anita deca la verdad, entonces Scrates corrompa a la juventud y si el tribunal lo

orden equivocadamente, entonces Anita no es la culpable. Pero, Scrates no
corrompa a la juventud o Anita es la culpable. Por lo tanto Anita no deca la verdad o
el tribunal no conden a Scrates equivocadamente.
Solucin:
p
= Anita deca la verdad.
q
= Scrates corrompa a la juventud.
r
= El tribunal conden equivocadamente a Scrates.
s
= Anita es culpable.
[ ( p q ) ( r s ) ( q s ) ] [ p r ]