1. Determine el valor de verdad de cada uno de los siguientes enunciados:
a. Si 3 < 5, entonces -3 < -5
F F
b. Si 2 + 2 = 4, entonces 3 + 3 = 7 si, y solo si, 1 + 1 = 4
V
F V
c. 16 = 4 o 16 = -4 V
V V
d. 6 + 4 = 10 y 2 2 = 2 V
V V
e. 3 + 2 = 5 y 4 + 4 = 8 F
V F
f. 52 = 25 o 3 3 = 9 V V V
g. Si 2 + 2 = 4, entonces no es cierto que 2 + 1 = 3 y 5 + 5 = 10
V V
F h. 2 + 5 = 7 si, y solo si, 3 + 6 = 9 V
V V
i. Si 3 1 = 2, entonces 2 + 2 = 4 V
V V
j. 5 + 1 = 8 si, y solo si, 5 - 1 = 2
F
F V
2. Construya la tabla de verdad de:
a. (p q) (p q) p
p q
p q
(p q) (p
V V F F
V F V F
V F V V
V F F F
q)
V V F F
p (q p)
b. p
q p
q p
p (q
V V F F
V F V F
F F V V
V V F V
p)
V V f V
c. (p q) (p q) p
q q
V V F F
V F V F
p q p q
F V F V
V F V V
F V V F
( p q) V F F V
(p q) (p q) V F V V
d. [ (p q) p] q
p q
(p q)
V V F F
V F V F
V F V V
[ (p q) p]
V F F F
V V V V
3. Determine a que corresponde, (falacia o tautologa) cada una de las
siguientes proposiciones: a. (p q) (p q) p V
q V
p q
p q
(p q) F
(p q) (p q) F
V F F
F V F
F F F
V V F
F F V
F F F
Esta proposicin es una FALACIA.
b. p
[ (p q
q) s ] [ p (q s) ] s
(p q)
p (q
s)
[ (p
q) s ] [ p
(q s) ]
V V V V V V V V
Esta proposicin es una TAUTOLOGIA.
LOGICA MATEMATICA: Ejercicio 1: 1. Sealar cada proposicin atmica con una A y cada proposicin molecular con una M. Escribir junto a cada proposicin molecular el termino de enlace utilizado. A. La comida ser hoy a las tres en punto.(A) B. El gran oso andaba perezosamente por el camino de abajo.(A) C. La msica es muy suave o la puerta est cerrada.(M) D. A este perro grande le gusta cazar gatos.(A) E. El pregunta por su pipa y pregunta por su escudilla.(M)
F. Luis es un buen jugador o es muy afortunado.(M)
G. Si Luis es un buen jugador, entonces participara en el partido del colegio.(M) H. California esta al oeste de Nevada y Nevada al oeste de Utah.(M) I. Muchos estudiantes estudian Lgica en el primer ao de carrera.(A) J. Los gatitos no acostumbran a llevar mitones.(A) K. Si los gatitos llevan mitones, entonces los gatos pueden llevar sombreros.(M) L. Se puede encontrar a Juana en casa de Susana.(A) M. A las focas no les crece el pelo.(A) N. Si Mara canta, entonces es feliz.(M) O. Los alumnos mayores no estn en la lista antes que los jvenes.(A) P. La asignatura preferida de Jaime es Matemticas.(A) Q. Si aquellas nubes se mueven en esa direccin, entonces tendremos lluvia.(M) R. Si los deseos fueran caballos, entonces los mendigos cabalgaran.(M) S. Esta proposicin es atmica o es molecular.(M) T. El sol calentaba y el agua estaba muy agradable.(M) U. Si x = 0 entonces x + y = 1.(M) V. X + Y> 2.(A) W.X = 1 o y + z = 2.(M) X. Y = 2 yz = 10.(M) 2. Formar cuatro proposiciones moleculares utilizando una o dos de las proposiciones escritas a continuacin junto con un trmino de enlace. Por ejemplo, se puede poner el trmino de enlace y entre dos de ellas y tambin se puede utilizar la misma proposicin atmica ms de una vez. Utilcese cada uno de los cuatro trminos de enlace una sola vez, de manera que cada una de las proposiciones moleculares tenga distinto trmino de enlace. a. b. c. d. e. f. g.
El viento sopla muy fuerte.
Pablo podra ganar fcilmente. La lluvia puede ser la causa de que abandone la carrera. Veremos qu planes hay para maana. Todava tendramos tiempo de llegar a las siete. El amigo de Juan tiene razn. Estbamos confundidos respecto a la hora de la junta.
MOLECULARES: (1)El amigo de Juan tiene la razn y todava tendramos tiempo para llegar a las siete. (2) El amigo de Juan tiene la razn la tengo yo. (3) Son las seis, entonces todava tendramos tiempo para llegar a las siete. (4)Mi computador no sirve, si y solo si, el amigo de Juan tiene la razn.
3. Decir cules son los trminos de enlace en las proposiciones siguientes. Decir cuntas proposiciones atmicas se encuentran en cada proposicin molecular. Recurdese que si..., entonces es un solo trmino de enlace. a. Este no es mi da feliz. (una proposicin Atmica y un Termino de enlace) b. Ha llegado el invierno y los das son ms cortos. (Hay 2 proposiciones Atmicas y un termino de enlace). c. Muchos grmenes no son bacterias. (dos proposicin atmica y un termino de enlace) d. Los anfibios se encuentran en el agua fresca o se encuentran en la tierra cerca de sitios hmedos.(Hay 2 proposiciones Atmicas y un termino de enlace). e. Si hay fallas en las grandes masas rocosas, entonces es posible que ocurran terremotos. (Hay 2 proposiciones Atmicas y un termino de enlace). f. Este nmero es mayor que dos o es igual a dos. (Hay 2 proposiciones Atmicas y un termino de enlace). g. Si es un nmero positivo entonces es mayor que cero. (Hay 2 proposiciones Atmicas y un termino de enlace) h. Este chico es mi hermano y yo soy su hermana.(Hay 2 proposiciones Atmicas y un termino de enlace). i.
Mi puntuacin es alta o recibir una calificacin baja. (Hay 2 proposiciones
Atmicas y un termino de enlace).
j. Si usted se da prisa entonces llegar a tiempo. (Hay 2 proposiciones
Atmicas y un termino de enlace). k. Si x>O entonces y=2. (Hay 2 proposiciones Atmicas y un trmino de enlace). l. Si x+y=2 entonces z>O. (Hay 2 proposiciones Atmicas y un trmino de enlace). m. x=O o y= l. (Hay 2 proposiciones Atmicas y un trmino de enlace).
n. Si x= 1 o z= 2 entonces y> 1. (Hay 3 proposiciones Atmicas y 2 trminos de
enlace). o. Si z> 10 entonces x+z>1O y y+z>10. (Hay 3 proposiciones Atmicas y dos trminos de enlace). p. x+y = y+x. (Esta es una proposicin Atmica) 4. Escribir primero cinco proposiciones atmicas y formar despus cinco proposiciones moleculares. ATOMICAS: (5) (6) (7) (8) (9)
Hoy tengo que estudiar para el examen.
Mi perro est dormido. Los Beagle son tranquilos. Maana tengo clase de natacin. El control del TV se da.
MOLECULARES: (1)Los Beagle son tranquilos y los Pitbull tambin. (2)Maana habr examen de Lgica entonces hoy tengo que estudiar para el examen. (3)El control del TV se da o las pilas se acabaron. (4) Mi perro est dormido si, y solo si, no hay ruido. (5) Tengo que arreglar mi computador comprarme uno nuevo.
TEORIA DE CONJUNTOS: 1. Sea p l es rico y sea q l es feliz. Expresar por enunciados verbales los siguientes enunciados simblicos: (1)p v q. l es rico o es feliz. (2)p q l es rico y es feliz.
(3)p q l es rico entonces es feliz. (4)p v q l es rico o no es feliz. (5)q p l es feliz si, y solo si, no es rico (6)
q l no es rico, entonces es feliz
(7)
p El es rico
(8)( p q) p l no es rico y es feliz, entonces l es rico.
2. Sea p l es rico y sea q l es feliz. Escribir en forma simblica los
siguientes enunciados: (1) l no es rico ni feliz. ( (2) Ser pobre es ser feliz.(
p q)
q p)
(3) Uno nunca es feliz si es rico.(
(4) l es pobre pero feliz.(
q)
p q)
(5) l no puede ser rico y feliz.(
p q)
(6) Si l es infeliz es pobre.(q p)
(7) Si l no es pobre y feliz, entonces es rico.(p q p) (8) Ser rico es lo mismo que ser feliz.(p q) (9) l es pobre o bien es rico e infeliz.(
p v p q)
(10). Si l no es pobre, entonces es feliz. (p q)
3. Sea p l es rico y sea q l es feliz. Escribir los siguientes enunciados
condicionales en forma simblica.
p q)
(1) Si l es pobre, l es feliz.(
p q)
(2) Ser pobre implica ser feliz.(
(3) Hay que ser pobre para ser feliz.(
p q) (4) Ser rico es suficiente para ser feliz.(p v q) (5) Ser rico es necesario para ser feliz. (p q ) (6) l es pobre solo si es feliz. ( p q )
4. Determinar el valor de verdad de los siguientes enunciados:
(1) Si 5 < 3, entonces -3 < -5. F V V (2) No es verdad que 2 + 2 = 4o 3 + 5 = 6. F v F F (3) Es verdad que 2 + 2 4 y 3 + 3 = 6.
F V (4)Si 3 < 5, entonces -3 < -5. V V V
5. Hacer una tabla de verdad para cada proposicin.
(1) [ p (
q p) ] [ (p q) (q p) ]
(2)[ p v (q r) ] [ ( p
q r
p v r) q ]
p v (q
[ p v (q r) ] [ (
pvr
p v r) q
F V F
F F V
F F F
V V V
V V F
V F V
V F F
F V V
r)
p v r)
6. Demostrar: (1)p q q p q p q q V V F F V F V V F V F V F F V V
p V V F F
V F V F
F F V V
F V V V
q]
(2) p (q v r) (p q) v (p r)
p V V V V F F F F
p V V V V F F F F
q V V F F V V F F
V V V V V F (3)(p q) V F r) v F V F V
r p q (pF Fq) F rF pV V V V FV F V V VV V F V VF F F V VF V F F VV F F F VV V F F VF F F F F [ (p q) r ]
r q
q vrr
V F V F V F
V F V F V F V F V F [(p
V V V F V F V F V V F F F F F F
p p (q vpr) qV r V V F F F p q Fr p F r
V VV V V(4) VF F V FV V V FF F F VF V F VF F F FF V F FF F r) q]
V F V F V V V V
(p
q) v (p r)
(p r) v (q
V V V F F F F F
V F V V V F V V
7. Demostrar (construyendo las tablas de verdad necesarias):
(1) p q q p
r (p
(q r)
p q p(p q r q) p r ( p r) q r p q r V V V V V VV F F F F V V F V F V V F F F V V F F V F V V F V F V F F V F F F V F FV F V V V V V V V F V VV V F F F V V F V F V FF V F V F V F V V F F VV V V F F V F F V F F F F V V V F V INDETERMINACION, entonces no se puede demostrar. q
