LOGICA MATEMATICA

TEMARIO SOBRE LOGICA MATEMATICA:

TABLAS DE VERDAD:
*NEGACION ( NOT )
*CONJUNCION ( AND )
*DISYUNCION ( OR )
*CONDICIONAL
*BICONDICIONAL ( XNOR )
*DISYUNCION EXCLUSIVA ( XOR )
*NAND
*NOR
EQUIVALENCIAS ENTRE LOS CONECTIVOS
PROPIEDADES ( LEYES DE ):
*IDEMPOTENCIA
*DOBLE NEGACION
*CONMUTATIVIDAD
*ASOCIATIVIDAD
*DISTRIBUTIVIDAD
*ABSORCION
*DE MORGAN
*IDENTIDAD
*COMPLEMENTO
TAUTOLOGIAS
EJEMPLOS Y EJERCICIOS

NEGACION ( NOT )
p p
V F
F V

CONJUNCION ( AND )
p q pq
V V V
V F F
F V F
F F F

DISYUNCION ( OR )
p q pq
V V V
V F V
F V V
F F F

CONDICIONAL
p q pq
V V V
V F F
F V V
F F V

BICONDICIONAL ( XNOR )
 p q pq
V V V
V F F
F V F
F F V

DISYUNCION EXCLUSIVA ( XOR )

p q pq
V V F
V F V
F V V
F F F

NAND
p q pq
V V F
V F V
F V V
F F V

NOR
p q pq
V V F
V F F
F V F
F F V

IDEMPOTENCIA:
pp  p
pp  p

LEY DE DOBLE NEGACION:

(p)  p

LEYES DE CONMUTACION:
pq  qp
pq  qp
pq  qp

LEYES DE ASOCIACION:
p(qr)  (pq)r
p(qr)  (pq)r
p(qr)  (pq)r

LEYES DE DISTRIBUCION:
p(qr)  (pq)(pr)
(qr)p  (qp)(rp)
p(qr)  (pq)(pr)
 (qr)p  (qp)(rp)

LEYES DE ABSORCION:
p(pq)  p
p(pq)  p

LEYES DE DUALIDAD (LEYES DE DE MORGAN):

(pq)  pq
(pq)  pq

LEYES DE IDENTIDAD:
pV  V
pV  p
pF  p
pF  F

LEYES DE COMPLEMENTO:
pp  V
pp  F
V  F
F  V

TAUTOLOGIAS:
1) p  p
2) pq  p(pq)
3) pq  q(pq)
4) pq  qp
5) pq  qp
6) (pq)  pq
7) (qp)  pq
8) p(qq)  p
9) (pq)p  pq
10) (pq)q  pq
11) (pq)p  (pq)
12) (pq)q  (pq)
13) pq  (pq)(pq)
14) pq  (pq)(pq)
15) pq  (pq)(qp)
16) pq  (pq)(pq)
17) pq  pq
18) pq  pq
19) (pq)  pq
20) (pq)  pq
21) (pq)q  p
22) (pq)q  p
23) (pq)r  p(qr)
24) p(qr)  q(pr)
25) (pq)(pr)  p(qr)
26) (pr)(qr)  (pq)r
27) (pq)(pr)  p(qr)
28) (pr)(qr)  (pq)r
29) (pq)(qr)(rp)  pqr
30) p  p
31) p  pq
32) p  qp
33) p  (pq)q
34) p  (pq)q
35) p  pq
36) p  (pq)q
37) p  (qp)q
38) pp  q
39) pq  p
40) pq  pq
41) pq  pq
42) pq  qp
43) pq  pq
44) (pq)p  q
45) (pq)  (pq)
46) (pq)  (pq)
47) (pq)  p
48) (pq)  q
49) (pq)p  q
50) (pq)q  p
51) pq  (qr)(pr)
52) pq  (rp)(rq)
53) (pq)(qr)  pr
54) (pr)(qr)(pq)  r
55) (pr)(qs)(pq)  rs
56) (pr)(qs)(rs)  pq
57) pq  pq
58) pq  qp
59) pq  (pr)(qr)
60) pq  (pr)(qr)
61) pq  (pr)(qr)
62) pq  (rp)(rq)
63) pq  (pr)(qr)
64) (pq)(qr)  pr

EQUIVALENCIAS CON LOS CONECTIVOS

NEGACION Y CONJUNCION:
65) pq  (pq)
66) pq  (pq)
67) pq  (pq)(pq)
68) pq  (pq)(pq)
69) pq  (pq)
70) pq  pq

EQUIVALENCIAS CON LOS CONECTIVOS

NEGACION Y DISYUNCION:
71) pq  (pq)
72) pq  pq
73) pq  (pq)(pq)
74) pq  (pq)(pq)
75) pq  pq
76) pq  (pq)

EQUIVALENCIAS CON EL CONECTIVO NAND:

77) p  pp
78) pq  (pq)(pq)
79) pq  (pp)(qq)
80) pq  p(qq)
81) pq  (pq)((pp)(qq))
82) pq  (p(qq))(q(pp))
83) pq  ((pp)(qq))((pp)(qq))

EQUIVALENCIAS CON EL CONECTIVO NOR:

84) p  pp
85) pq  (pp)(qq)
86) pq  (pq)(pq)
87) pq  ((pp)q)((pp)q)
88) pq  (p(qq))(q(pp))
89) pq  (pq)((pp)(qq))
90) pq  ((pp)(qq))((pp)(qq))

EJEMPLOS Y EJERCICIOS
¿Cuál es el valor de verdad de las siguientes afirmaciones?
1 ) Santiago es la capital de Chile y Bolivia está en América del Sur.
2 ) El copihue es la flor nacional de Chile o Perú está al Sur de Chile.
3 ) Si Bolivia limita con Chile, entonces Perú limita con Bolivia.
4 ) Bolivia limita con Chile si y sólo si Perú limita con Bolivia.
5 ) Montevideo es la capital de Uruguay y Cali es la capital de Colombia.
6 ) Paraguay limita con el Océano Atlántico o Venezuela limita con el Océano
Pacífico.
7 ) Si el Aconcagua es el monte más alto de la Cordillera de los Andes, entonces
mide más de 8.000 metros sobre el nivel del mar.
8 ) La Isla de Pascua pertenece a Chile si y sólo si está en el Océano Atlántico.
9 ) Dos chilenos han obtenido el Premio Nobel y Chile nunca ha sido campeón en un
Mundial de Fútbol.
10 ) Sólo un chileno ha obtenido medalla de oro en los Juegos Olímpicos o Chile
ganó sólo una vez la Copa Davis.
11 ) Si Chile tiene bellas mujeres, entonces al menos una de ellas ha sido Miss
Universo.
12 ) Lucho Gatica es chileno si y sólo si Los Jaivas son de Iquique.

Ejemplo:
Afirmación: "Los Jaivas son chilenos y Luis Miguel es español"
"Los Jaivas son chilenos" es Verdadero
"Luis Miguel es español" es Falso
por lo tanto "Los Jaivas son chilenos y Luis Miguel es español" es Falso.

Demuestra:
1)p(pq)
2)(pq)p
3)q(pq)
4 ) p  ( p  q )
5)(pq  pr)(p(qr))
6)(pq  pr)(p(qr))
7)(pq)(qr)  (pr)
8 ) ( p  q )  ( q  p )

Ejemplo:
Demostrar que ( p  q )  ( p  q )
Demostración:
Si p  q es Verdadero, entonces p es Verdadero y q es Verdadero,
 p  q es Verdadero.