EJERCICIOS DE LOGICA MATEMATICA

A ) Usando tablas demostrar:

1 ) ( p ) p
p
V
F

p
F
V

( p )
V
F

p
V
F

p
F
V

p p
F
F

p
V
F

p
F
V

p p
V
V

p
V
F

V
V
V

pV
V
V

p
V
F

V
V
V

pV
V
F

p
V
F

F
F
F

pF
V
F

p
V
F

F
F
F

pF
F
F

2 ) p p F

3 ) p p V

4) pV V

5) pV p

6) pF p

7) pF F

8) p(pq) p
p
V
V
F
F

q
V
F
V
F

pq
V
V
V
F

p(pq)
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

p(pq)
V
V
F
F

pq
V
F
F
F

( p q )
F
V
V
V

p q
F
V
V
V

pq
V
V
V
F

( p q )
F
F
F
V

p q
F
F
F
V

9) p(pq) p
p
V
V
F
F
10 ) ( p q ) p q
q
V
F
V
F

p
V
V
F
F

p
F
F
V
V

q
F
V
F
V

11 ) ( p q ) p q
q
V
F
V
F

p
V
V
F
F

p
F
F
V
V

q
F
V
F
V

12 ) ( p q ) r p ( q r )
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

pq
V
V
F
F
F
F
F
F

qr
V
F
F
F
V
F
F
F

(pq)r
V
F
F
F
F
F
F
F

p(qr)
V
F
F
F
F
F
F
F

13 ) ( p q ) r p ( q r )
q
V
V
F
F
V
V
F
F

p
V
V
V
V
F
F
F
F

r
V
F
V
F
V
F
V
F

pq
V
V
V
V
V
V
F
F

qr
V
V
V
F
V
V
V
F

(pq)r
V
V
V
V
V
V
V
F

p(qr)
V
V
V
V
V
V
V
F

14 ) ( p q ) r p ( q r )
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

pq
V
V
F
F
F
F
V
V

qr
V
F
F
V
V
F
F
V

(pq)r
V
F
F
V
F
V
V
F

p(qr)
V
F
F
V
F
V
V
F

15 ) p ( q r ) ( p q ) ( p r )
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

pq
V
V
F
F
F
F
F
F

pr
V
F
V
F
F
F
F
F

qr
V
V
V
F
V
V
V
F

p(qr)
V
V
V
F
F
F
F
F

(pq)(pr)
V
V
V
F
F
F
F
F

16 ) p ( q r ) ( p q ) ( p r )
p
V
V
V
V
F
F
F
F

q
V
V
F
F
V
V
F
F

pq
V
V
V
V
V
V
F
F

r
V
F
V
F
V
F
V
F

pr
V
V
V
V
V
F
V
F

qr
V
F
F
F
V
F
F
F

p(qr)
V
V
V
V
V
F
F
F

(pq)(pr)
V
V
V
V
V
F
F
F

17 ) p q p q
p
V
V
F
F

q
V
F
V
F

p
F
F
V
V

p q
V
F
V
V

pq
V
F
V
V

18 ) p q ( p q ) ( q p )
p
V
V
F
F

q
V
F
V
F

pq
V
F
V
V

qp
V
V
F
V

(pq)(qp)
V
F
F
V

19 ) p q ( p q )
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

( p q )
F
V
V
V

pq
F
V
V
V

q
V
F
V
F

pq
V
V
V
F

( p q )
F
F
F
V

pq
F
F
F
V

20 ) p q ( p q )
p
V
V
F
F

pq
V
F
F
V

21 ) p q ( p q ) ( p q )
p
V
V
F
F

q
V
F
V
F

pq
V
F
F
F

( p q )
F
V
V
V

pq
V
V
V
F

( p q ) ( p q )
F
V
V
F

pq
F
V
V
F

B ) A partir de los conectivos negacin ( ) y disyuncin ( ) se definen:

p q =def ( p q )
p q =def p q
p q =def ( p q ) ( q p )
p q =def ( p q ) ( p q )
p q =def ( p q )
p q =def ( p q )
Utilizando esas definiciones y las leyes de lgica matemtica, demostrar las siguientes
tautologas:
1 ) p q q p
q p ( q ) p
( Definicin )
q p
( Doble Negacin )
p q
( Conmutatividad )
pq
( Definicin )
2 ) ( p q ) p q
( p q ) ( p q ) ( Definicin )
( p ) q ( De Morgan )
p q
( Doble Negacin )
3 ) p ( q q ) p
p ( q q ) p F ( Complemento )
p F ( Definicin )
p
( Identidad )
4 ) ( q q ) p p
( q q ) p

( q q ) p
V p
Fp
p

5) (pq)r p(qr)
( p q ) r ( p q ) r
( p q ) r
p ( q r )
p(qr)

( Definicin )
( Complemento )
( Complemento )
( Identidad )

( Definicin )
( De Morgan )
( Asociatividad )
( Definicin )

6) p(qr) q(pr)
p ( q r ) p ( q r )
( p q ) r
( q p ) r
q ( p r )
q(pr)

( Definicin )
( Asociatividad )
( Conmutatividad )
( Asociatividad )
( Definicin )

7) (pq)p pq
(pq)p ((pq)p)(p(pq))
( ( p q ) p ) ( p ( p q ) )
( ( p q ) p ) ( p ( p q ) )
( ( p q ) p ) ( p ( p q ) )
p ( p ( p q ) )
p ( ( p p ) q )
p ( p q )
( p p ) ( p q )
F(pq)
pq

( Definicin )
( Definicin )
( Definicin )
( De Morgan )
( Absorcin )
( Asociatividad )
( Idempotencia )
( Distributividad )
( Complemento )
( Identidad )

8) (pq)q pq
(pq)q ((pq)q)(q(pq))
( ( p q ) q ) ( q ( p q ) )
( ( p q ) q ) ( q ( p q ) )
( ( ( p ) q ) q ) ( q ( p q ) )
( ( p q ) q ) ( q ( p q ) )
( ( p q ) q ) ( q ( q p ) )
( ( p q ) q ) ( ( q q ) p )
( ( p q ) q ) ( V p )
( ( p q ) q ) V
( ( p q ) q )
( p q ) ( q q )
(pq)V
pq

( Definicin )
( Definicin )
( Definicin )
( De Morgan )
( Doble Negacin )
( Conmutatividad )
( Asociatividad )
( Complemento )
( Identidad )
( Identidad )
( Distributividad )
( Complemento )
( Identidad )

9 ) p q ( p q ) ( p q )
pq (pq)(qp)
( p q ) ( q p )
( p ( q p ) ) ( q ( q p ) )
( ( p q ) ( p p ) ) ( ( q q ) ( q p ) )
( ( p q ) F ) ( F ( q p ) )
( p q ) ( q p )
( p q ) ( p q )

( Definicin )
( Definicin )
( Distributividad )
( Distributividad )
( Complemento )
( Identidad )
( Conmutatividad )

10 ) p q p q
p q ( p q ) ( q p )
( ( p ) q ) ( ( q ) p )
( p q ) ( q p )
( q p ) ( p q )
(qp)(pq)
(pq)(qp)
pq

( Definicin )
( Definicin )
( Doble Negacin )
( Conmutatividad )
( Definicin )
( Conmutatividad )
( Definicin )

11 ) ( p q ) p q
( p q ) ( ( p q ) ( q p ) )
( ( p q ) ( q p ) )
( p q ) ( q p )
( ( p ) q ) ( ( q ) p )
( p q ) ( q p )
( ( p q ) q ) ( ( p q ) p )
( ( p q ) ( q q ) )( ( p p ) ( q p ) )
( ( p q ) V ) ( V ( q p ) )
( p q ) ( q p )
( ( p ) q ) ( q p )
( p q ) ( q p )
p q
12 ) ( p q ) ( p r ) p ( q r )
( p q ) ( p r ) ( p q ) ( p r ) ( Definicin )
p ( q r )
( Distributividad )
p(qr)
( Definicin )
13 ) ( p q ) ( p r ) p ( q r )
( p q ) ( p r ) ( p q ) ( p r )
( ( p q ) p ) r
( p ( q p ) ) r
( p ( p q ) ) r
( ( p p ) q ) r
( p q ) r
p ( q r )
p(qr)

( Definicin )
( Asociatividad )
( Asociatividad )
( Conmutatividad )
( Asociatividad )
( Idempotencia )
( Asociatividad )
( Definicin )

14 ) ( p r ) ( q r ) ( p q ) r
( p r ) ( q r ) ( p r ) ( q r )
( p q ) r
( p q ) r
(pq)r

( Definicin )
( Distributividad )
( De Morgan )
( Definicin )

( Definicin )
( Definicin )
( De Morgan )
( De Morgan )
( Doble Negacin )
( Distributividad )
( Distributividad )
( Complemento )
( Identidad )
( Doble Negacin )
( Definicin )
( Definicin )

15 ) ( p r ) ( q r ) ( p q ) r
( p r ) ( q r ) ( p r ) ( q r )
p ( r ( q r ) )
p ( ( r q ) r )
p ( ( q r ) r )
p ( q ( r r ) )
p ( q r )
( p q ) r
( p q ) r
(pq)r
16 ) p p q
Sea p Verdadero, entonces:
(p V)
pq Vq
V
( Identidad )
17 ) p q p
Sea p Verdadero, entonces:
q p q p
q V
V

( Definicin )
(p V)
( Identidad )

18 ) p p q
Sea p Verdadero, entonces:
p q p q
Vq
V

( Definicin )
( p V )
( Identidad )

19 ) ( p p ) q
Equivale a demostrar:
q ( p p )
Sea q Verdadero, entonces:
( p p ) F
V

( Definicin )
( Asociatividad )
( Asociatividad )
( Conmutatividad )
( Asociatividad )
( Idempotencia )
( Asociatividad )
( De Morgan )
( Definicin )

( Contra recproco )
( Complemento )
( Complemento )

20 ) ( p q ) p q
Equivale a demostrar:
q ( ( p q ) p )
Sea q Verdadero, entonces:
( ( p q ) p ) ( ( p q ) p )
( p q ) p
( ( p ) q ) p
( p q ) p
( p V ) p
p p
V

( Contra recproco )
( Definicin )
( De Morgan )
( De Morgan )
( Doble Negacin )
( q V )
( Identidad )
( Complemento )

21 ) ( p q ) q p
Equivale a demostrar:
p ( ( p q ) q )
Sea p Verdadero, entonces:
( ( p q ) q ) ( ( p q ) q )
( ( p q ) ( q q ) )
( ( p q ) F )
( p q )
pq
Vq
V
22 ) p p p
p p ( p p )
p

( Definicin )
( Idempotencia )

23 ) p p p
p p ( p p )
p

( Definicin )
( Idempotencia )

( Contra recproco )
( Definicin )
( Distributividad )
( Complemento )
( Identidad )
( De Morgan y Doble Negacin )
(p V)
( Identidad )

24 ) p q ( p q ) ( p q )
( p q ) ( p q ) ( ( p q ) ( p q ) )
( ( p q ) )
pq

( Definicin )
( Idempotencia )
( Doble Negacin )

25 ) p q ( p p ) ( q q )
( p p ) ( q q ) ( ( p p ) ( q q ) )
( p q )
pq

( Definicin )
( Idempotencia )
( Definicin )

26 ) p q ( p q ) ( p q )
( p q ) ( p q ) ( ( p q ) ( p q ) )
( ( p q ) )
pq

( Definicin )
( Idempotencia )
( Doble Negacin )

27 ) p q ( p p ) ( q q )
( p p ) ( q q ) ( ( p p ) ( q q ) )
( p q )
pq

( Definicin )
( Idempotencia )
( De Morgan y Doble Negacin )