Está en la página 1de 9

# EJERCICIOS DE LOGICA MATEMATICA

## A ) Usando tablas demostrar:

1 ) ( p ) p
p p ( p )
V F V
F V F
2 ) p p F
p p p p
V F F
F V F
3 ) p p V
p p p p
V F V
F V V
4 ) p V V
p V p V
V V V
F V V
5 ) p V p
p V p V
V V V
F V F
6 ) p F p
p F p F
V F V
F F F
7 ) p F F
p F p F
V F F
F F F
8 ) p ( p q ) p
p q p q p ( p q )
V V V V
V F V V
F V V F
F F F F
9 ) p ( p q ) p
p q p q p ( p q )
V V V V
V F F V
F V F F
F F F F
1 ) ( p q ) p q
p q p q p q ( p q ) p q
V V F F V F F
V F F V F V V
F V V F F V V
F F V V F V V
11 ) ( p q ) p q
p q p q p q ( p q ) p q
V V F F V F F
V F F V V F F
F V V F V F F
F F V V F V V
12 ) ( p q ) r p ( q r )
p q r p q q r ( p q ) r p ( q r )
V V V V V V V
V V F V F F F
V F V F F F F
V F F F F F F
F V V F V F F
F V F F F F F
F F V F F F F
F F F F F F F

13 ) ( p q ) r p ( q r )
p q r p q q r ( p q ) r p ( q r )
V V V V V V V
V V F V V V V
V F V V V V V
V F F V F V V
F V V V V V V
F V F V V V V
F F V F V V V
F F F F F F F
14 ) ( p q ) r p ( q r )
p q r p q q r ( p q ) r p ( q r )
V V V V V V V
V V F V F F F
V F V F F F F
V F F F V V V
F V V F V F F
F V F F F V V
F F V V F V V
F F F V V F F
15 ) p ( q r ) ( p q ) ( p r )
p q r p q p r q r p ( q r ) ( p q ) ( p r )
V V V V V V V V
V V F V F V V V
V F V F V V V V
V F F F F F F F
F V V F F V F F
F V F F F V F F
F F V F F V F F
F F F F F F F F
16 ) p ( q r ) ( p q ) ( p r )
p q r p q p r q r p ( q r ) ( p q ) ( p r )
V V V V V V V V
V V F V V F V V
V F V V V F V V
V F F V V F V V
F V V V V V V V
F V F V F F F F
F F V F V F F F
F F F F F F F F
17 ) p q p q
p q p p q p q
V V F V V
V F F F F
F V V V V
F F V V V
18 ) p q ( p q ) ( q p )
p q p q q p ( p q ) ( q p ) p q
V V V V V V
V F F V F F
F V V F F F
F F V V V V
19 ) p q ( p q )
p q p q ( p q ) p q
V V V F F
V F F V V
F V F V V
F F F V V
2 ) p q ( p q )
p q p q ( p q ) p q
V V V F F
V F V F F
F V V F F
F F F V V
21 ) p q ( p q ) ( p q )
p q p q ( p q ) p q ( p q ) ( p q ) p q
V V V F V F F
V F F V V V V
F V F V V V V
F F F V F F F
! ) A part"r de los #one#t"\$os ne%a#"&n ( ' ) ( d"s()n#"&n ( ) se de*"nen:
p q +
de*
( p q )
p q +
de*
p q
p q +
de*
( p q ) ( q p )
p q +
de*
( p q ) ( p q )
p q +
de*
( p q )
p q +
de*
( p q )
Ut"l",ando esas de*"n"#"ones ( las le(es de l&%"#a matem-t"#a. demostrar las s"%)"entes
ta)tolo%/as:
1 ) p q q p
q p ( q ) p ( 0e*"n"#"&n )
q p ( 0oble 1e%a#"&n )
p q ( 2onm)tat"\$"dad )
p q ( 0e*"n"#"&n )
2 ) ( p q ) p q
( p q ) ( p q ) ( 0e*"n"#"&n )
( p ) q ( 0e 3or%an )
p q ( 0oble 1e%a#"&n )
3 ) p ( q q ) p
p ( q q ) p F ( 2omplemento )
p F ( 0e*"n"#"&n )
p ( 4dent"dad )
4 ) ( q q ) p p
( q q ) p ( q q ) p ( 0e*"n"#"&n )
V p ( 2omplemento )
F p ( 2omplemento )
p ( 4dent"dad )
5 ) ( p q ) r p ( q r )
( p q ) r ( p q ) r ( 0e*"n"#"&n )
( p q ) r ( 0e 3or%an )
p ( q r ) ( Aso#"at"\$"dad )
p ( q r ) ( 0e*"n"#"&n )
6 ) p ( q r ) q ( p r )
p ( q r ) p ( q r ) ( 0e*"n"#"&n )
( p q ) r ( Aso#"at"\$"dad )
( q p ) r ( 2onm)tat"\$"dad )
q ( p r ) ( Aso#"at"\$"dad )
q ( p r ) ( 0e*"n"#"&n )
7 ) ( p q ) p p q
( p q ) p ( ( p q ) p ) ( p ( p q ) ) ( 0e*"n"#"&n )
( ( p q ) p ) ( p ( p q ) ) ( 0e*"n"#"&n )
( ( p q ) p ) ( p ( p q ) ) ( 0e*"n"#"&n )
( ( p q ) p ) ( p ( p q ) ) ( 0e 3or%an )
p ( p ( p q ) ) ( Absor#"&n )
p ( ( p p ) q ) ( Aso#"at"\$"dad )
p ( p q ) ( 4dempoten#"a )
( p p ) ( p q ) ( 0"str"b)t"\$"dad )
F ( p q ) ( 2omplemento )
p q ( 4dent"dad )
8 ) ( p q ) q p q
( p q ) q ( ( p q ) q ) ( q ( p q ) ) ( 0e*"n"#"&n )
( ( p q ) q ) ( q ( p q ) ) ( 0e*"n"#"&n )
( ( p q ) q ) ( q ( p q ) ) ( 0e*"n"#"&n )
( ( ( p ) q ) q ) ( q ( p q ) ) ( 0e 3or%an )
( ( p q ) q ) ( q ( p q ) ) ( 0oble 1e%a#"&n )
( ( p q ) q ) ( q ( q p ) ) ( 2onm)tat"\$"dad )
( ( p q ) q ) ( ( q q ) p ) ( Aso#"at"\$"dad )
( ( p q ) q ) ( V p ) ( 2omplemento )
( ( p q ) q ) V ( 4dent"dad )
( ( p q ) q ) ( 4dent"dad )
( p q ) ( q q ) ( 0"str"b)t"\$"dad )
( p q ) V ( 2omplemento )
p q ( 4dent"dad )
9 ) p q ( p q ) ( p q )
p q ( p q ) ( q p ) ( 0e*"n"#"&n )
( p q ) ( q p ) ( 0e*"n"#"&n )
( p ( q p ) ) ( q ( q p ) ) ( 0"str"b)t"\$"dad )
( ( p q ) ( p p ) ) ( ( q q ) ( q p ) ) ( 0"str"b)t"\$"dad )
( ( p q ) F ) ( F ( q p ) ) ( 2omplemento )
( p q ) ( q p ) ( 4dent"dad )
( p q ) ( p q ) ( 2onm)tat"\$"dad )
1 ) p q p q
p q ( p q ) ( q p ) ( 0e*"n"#"&n )
( ( p ) q ) ( ( q ) p )( 0e*"n"#"&n )
( p q ) ( q p ) ( 0oble 1e%a#"&n )
( q p ) ( p q ) ( 2onm)tat"\$"dad )
( q p ) ( p q ) ( 0e*"n"#"&n )
( p q ) ( q p ) ( 2onm)tat"\$"dad )
p q ( 0e*"n"#"&n )
11 ) ( p q ) p q
( p q ) ( ( p q ) ( q p ) ) ( 0e*"n"#"&n )
( ( p q ) ( q p ) ) ( 0e*"n"#"&n )
( p q ) ( q p ) ( 0e 3or%an )
( ( p ) q ) ( ( q ) p ) ( 0e 3or%an )
( p q ) ( q p ) ( 0oble 1e%a#"&n )
( ( p q ) q ) ( ( p q ) p ) ( 0"str"b)t"\$"dad )
( ( p q ) ( q q ) )( ( p p ) ( q p ) ) ( 0"str"b)t"\$"dad )
( ( p q ) V ) ( V ( q p ) ) ( 2omplemento )
( p q ) ( q p ) ( 4dent"dad )
( ( p ) q ) ( q p ) ( 0oble 1e%a#"&n )
( p q ) ( q p ) ( 0e*"n"#"&n )
p q ( 0e*"n"#"&n )
12 ) ( p q ) ( p r ) p ( q r )
( p q ) ( p r ) ( p q ) ( p r ) ( 0e*"n"#"&n )
p ( q r ) ( 0"str"b)t"\$"dad )
p ( q r ) ( 0e*"n"#"&n )
13 ) ( p q ) ( p r ) p ( q r )
( p q ) ( p r ) ( p q ) ( p r ) ( 0e*"n"#"&n )
( ( p q ) p ) r ( Aso#"at"\$"dad )
( p ( q p ) ) r ( Aso#"at"\$"dad )
( p ( p q ) ) r ( 2onm)tat"\$"dad )
( ( p p ) q ) r ( Aso#"at"\$"dad )
( p q ) r ( 4dempoten#"a )
p ( q r ) ( Aso#"at"\$"dad )
p ( q r ) ( 0e*"n"#"&n )
14 ) ( p r ) ( q r ) ( p q ) r
( p r ) ( q r ) ( p r ) ( q r ) ( 0e*"n"#"&n )
( p q ) r ( 0"str"b)t"\$"dad )
( p q ) r ( 0e 3or%an )
( p q ) r ( 0e*"n"#"&n )
15 ) ( p r ) ( q r ) ( p q ) r
( p r ) ( q r ) ( p r ) ( q r ) ( 0e*"n"#"&n )
p ( r ( q r ) ) ( Aso#"at"\$"dad )
p ( ( r q ) r ) ( Aso#"at"\$"dad )
p ( ( q r ) r ) ( 2onm)tat"\$"dad )
p ( q ( r r ) ) ( Aso#"at"\$"dad )
p ( q r ) ( 4dempoten#"a )
( p q ) r ( Aso#"at"\$"dad )
( p q ) r ( 0e 3or%an )
( p q ) r ( 0e*"n"#"&n )
16 ) p p q
5ea p Verdadero. enton#es:
p q V q ( p V )
V ( 4dent"dad )
17 ) p q p
5ea p Verdadero. enton#es:
q p q p ( 0e*"n"#"&n )
q V ( p V )
V ( 4dent"dad )
18 ) p p q
5ea p Verdadero. enton#es:
p q p q ( 0e*"n"#"&n )
V q ( p V )
V ( 4dent"dad )
19 ) ( p p ) q
6q)"\$ale a demostrar:
q ( p p ) ( 2ontra re#/pro#o )
5ea q Verdadero. enton#es:
( p p ) F ( 2omplemento )
V ( 2omplemento )
2 ) ( p q ) p q
6q)"\$ale a demostrar:
q ( ( p q ) p ) ( 2ontra re#/pro#o )
5ea q Verdadero. enton#es:
( ( p q ) p ) ( ( p q ) p ) ( 0e*"n"#"&n )
( p q ) p ( 0e 3or%an )
( ( p ) q ) p ( 0e 3or%an )
( p q ) p ( 0oble 1e%a#"&n )
( p V ) p ( q V )
p p ( 4dent"dad )
V ( 2omplemento )
21 ) ( p q ) q p
6q)"\$ale a demostrar:
p ( ( p q ) q ) ( 2ontra re#/pro#o )
5ea p Verdadero. enton#es:
( ( p q ) q ) ( ( p q ) q ) ( 0e*"n"#"&n )
( ( p q ) ( q q ) ) ( 0"str"b)t"\$"dad )
( ( p q ) F ) ( 2omplemento )
( p q ) ( 4dent"dad )
p q ( 0e 3or%an ( 0oble 1e%a#"&n )
V q ( p V )
V ( 4dent"dad )
22 ) p p p
p p ( p p ) ( 0e*"n"#"&n )
p ( 4dempoten#"a )
23 ) p p p
p p ( p p ) ( 0e*"n"#"&n )
p ( 4dempoten#"a )
24 ) p q ( p q ) ( p q )
( p q ) ( p q ) ( ( p q ) ( p q ) ) ( 0e*"n"#"&n )
( ( p q ) ) ( 4dempoten#"a )
p q ( 0oble 1e%a#"&n )
25 ) p q ( p p ) ( q q )
( p p ) ( q q ) ( ( p p ) ( q q ) ) ( 0e*"n"#"&n )
( p q ) ( 4dempoten#"a )
p q ( 0e*"n"#"&n )
26 ) p q ( p q ) ( p q )
( p q ) ( p q ) ( ( p q ) ( p q ) ) ( 0e*"n"#"&n )
( ( p q ) ) ( 4dempoten#"a )
p q ( 0oble 1e%a#"&n )
27 ) p q ( p p ) ( q q )
( p p ) ( q q ) ( ( p p ) ( q q ) ) ( 0e*"n"#"&n )
( p q ) ( 4dempoten#"a )
p q ( 0e 3or%an ( 0oble 1e%a#"&n )
Autor: NELSON LILLO TERAN
http://www.eneayudas.!