Ejercicios No. 1 (d) ( p $ q) ! ( p _ q) _ (r !

q)
(e) ( p! q)^ [(p $ q) ! (q_ p)]
Lógica
(f) [p _ (q ! r)] ^ [( p _ r) $ q]:
1. Simbolizar las siguientes proposiciones:
5. Simpli…car los siguientes enunciados:
(a) No hace calor.
(b) Hace calor y está lloviendo. (a) No es verdad que las rosas son rojas implica
(c) Está lloviendo si, y sólo si, hace calor. que las violetas son azules

(d) Si hace calor, entonces no está lloviendo.
(e) Está lloviendo o no hace calor.
(f) No hace calor y no está lloviendo.
(g) No es verdad que no está lloviendo.
(h) Si hace calor y no está lloviendo, entonces
hace calor.
2. Determinar el valor de verdad de cada uno de los
siguientes enunciados compuestos.
(b) No es verdad que hace frío y está lloviendo.
(c) No es verdad que hace que él es bajo o
galán.
(d) No es verdad que haceio frío o que está
lloviendo.
(e) No es verdad que si está lloviendo entonces
hace frío.
(f) No es verdad que las rosas son rojas si y
sólo si violetas son azules.

(a) Si 3 + 2 = 7, entonces 4 + 4 = 8. 6. Demostrar las equivalencias utilizando las leyes

(b) no es verdad que 2 + 2 = 5 si, y solo si, lógicas:
4 + 4 = 10.
(a) p ! q q! p:
(c) Bagdad está en Irak o Caracas está
Ecuador. (b) p ^ (q _ r) (p ^ q) _ (p ^ r):
(d) No es verdad que 1 + 1 = 3 o que 2 + 1 = 3. (c) (p ^ q) ! r (p ! r) _ (q ! r):
(e) Es falso que si Caracas está Ecuador, en- (d) p ^ (q _ r) (p ^ q) _ (p ^ r)
tonces Bagdad está en Irak.
(e) [(p ! q) ! r] [(p^ r) ! q]:
(f) Sa sabe que las proposiciones p^q y q ! t
son falsas, hallar el valor de verdad de los 7. Demostrar si las siguientes implicaciones son
siguientes esquemas: (i) ( p _ t)_ q; ciertas:
(ii) [p ^ ( q_ q)]; (iii) [(p ! q)^
(q ^ t)] $ [ p _ (q^ t)]: (a) p ^ q ) p:
(g) Si la proposición [( p_q)_(r ! q)]^[( (b) p _ q ) p:
p _ q) ! (q^ p)] es verdadera , halle los
(c) q ) p ! q:
valores de verdad de p; q; y r:
(d) p $ q ) q ! p:
3. Hacer la tabla de verdad de cada una de las
(e) p ^ (q _ r) ) (p ^ q) _ r:
proposiciónes siguientes:
(f) p ) p ! q:
(a) (p ! q)
(g) q ) [(p ^ q) $ p]
(b) (p ^ q) ! (p _ q)
(c) (p ^ q)_ (q $ p) 8. Simplicar [( p ^ q) ! (r^ r)]^ q:
(d) [p ^ ( q ! p)]^ [(p $ q)] 9. Simplicar [( q ! p) ! ( p ! q)]^
(e) (p ! q) ! (q ^ t) (p ^ q):
(f) [( p _ q) _ (r ! q)] $ [ p _ (q^ r)] 10. De la falsedad de (p ! q) _ ( r ! s), deducir
el valor de
4. Simpli…car las siguientes proposiciones:

(a) ( p ! q) (a) ( p^ q)_ q

(b) (p^ q) _ (p ^ q) (b) [( r _ q) ^ q] $ [( q _ r) ^ s]
(c) ( p^ q) ^ ( q ! p) (c) (p ! r) ! [(p _ q)^ q]

1
11. Si p; q; r; s; t; w son proposiciones tales que (p^ (b) ”Si un satélite gira alrededor de la Luna, en-
r) $ (s ! w) es verdadera, y ( w ! s) es tonces gira alrededor de la Tierra; y si gira
falsa. Hallar el valor de verdad de las proposi- alrededor de la Tierra, también gira alrede-
ciones: dor del Sol. Y, si gira alrededor del Sol,
entonces gira alrededor de la constelación
(a) (p ^ q) _ r _ s: de la Lira. En consecuencia, un satélite o
(b) (s $ w) ! (r_ p): gira alrededor de la Luna o gira alrededor
(c) [t ! (w_ p)]^ (p ! r): de la constelación del la Lira”

12. Si la proposición [(p 4 ( q)) ^ (p _ q)] ! [r $ 19. Dados los siguientes esquemas moleculares: A =
s] es falsa, determinar los valores de verdad de p4( q); B = p ! r) y C = (q^ r):
p; q; r; s: Determinar:
13. Si p; q; r; s; t; w son proposiciones tales que (p^ (a) Si la conjunción de A y C implica a B:
r) $ (s ! w) es verdadera, y ( w ! s) es
(b) Si la disyunción de A y B implica a C:
falsa, hallar el valor de verdad de [t ! (w_
p)^ (p ! r)]. 20. Si las proposición ; p ! (r _ q) es falsa y p; w; s
14. Simbolizar " Si Gamarra manda atacar a los son proposiciones cualesquiera, hallar los valores
lanceros, la artillería hará fuego y los infantes de verdad de las siguientes proposiciones:
pasarán a la retaguardia. En caso de que mande
atacar a los lanceros, la infantería deberá abrir (a) p ^ (q ^ r);
fuego. Luego, si los infantes no pasan a la reta- (b) w ! (s _ p);
guardia, abrirán fuego ”. (c) (r ^ p) ! (p ^ q):
15. Simbolice y determine su validez del argumento:
21. Demostrar que la proposición: (p ! q) ^
”Si el testigo dice la verdad, entonces el asesino
(q ! r) es equivalente a las proposiciones:
hizo tres disparos; además, el revolver tenía cinco
balas. Si el revolver tenía cinco balas, el asesino (a) [p ^ (p_ r)]^ q:
hizo sólo un disparo y no tres. Entonces, el tes-
tigo no ha dicho la verdad ” (b) [p^ q] ^ [ (q ^ r]:
(c) [p^ q] _ [(p^ r)^ q]:
16. Analizar si los dos enunciados son equivalentes:
" un número natural es primo o es par, entonces, 22. Si se sabe que p q p ! q y p]q p^ q;
si es primo, debe ser menor que siete; pero, este evaluar el esquema A = (p ! q)](q r):
número no es primo si es par ” y ”Si un número
natural no es par y es menor que siete, entonces 23. Si de…nimos: p q (p $ q) ! (p ^ q); p]q
el número es primo. O si el número es primo y p_ q; p q (p ! q): Evaluar:
es menor que siete, entonces no debe ser par ”.
(a) (p ! q)](q r):
17. Determinar la validez del la siguiente proposición
(b) [(p q)]q] (q]r):
compuesta. "Si tiene un solo elemento, se llama
conjunto unitario. Si no tiene elemento alguno, (c) (p]q) ^ (r q):
se llama conjunto vacío. Tiene un solo elemento (d) (p]q)_ (p r):
o no tiene elemento alguno, se llama conjunto
vacío. Tiene un solo elemento o no tiene ele- 24. Demostrar; S
mento. En consecuencia, se llama conjunto uni-
tario o se llama conjunto vacío ”. (a) P ! Q;
(b) Q ! R:
18. Simbolizar y comprobar la validez de los sigu-
ientes enunciados: (c) R
(d) P _ (T ^ S):
(a) ”Juan es director de una empresa si tiene
el mayor número de acciones; y si tiene 25. Demostrar: A
el mayor número de acciones, o es un ac-
cionista o tiene mucho dinero. Ocurre que (a) A! B
Juan tiene el mayor número de acciones.
(b) B! C
Por consiguiente, o es un accionista o tiene
mucho dinero”. (c) C

2
26. Demostrar: s (c) r ! t
(d) t
(a) p ! q
(b) q ! r 34. Demostrar : x > 2 _ x = 2
(c) s ! r
(a) x < y ! x = 2
27. Demostrar: x = 0 (b) x < y _ x 6< y
(c) x6<y ! x > 2
(a) x 6= 0 ! y = 1
(b) x = y ! y = w 35. Demostrar: xy6=0
(c) y = w ! y6=1
(a) y > x $ x = 0
(d) x = y
(b) xy = 0 $ x = 0
28. Demostrar: T (c) y 6= x:

(a) P _ R 36. Determinar el circuito lógico más simple equiva-

(b) S lente al circuito dado:
(c) (T _ Q) ! P (a)
(d) R _ S:

29. Demostrar: x < 6 (b)

(a) x > y _ x < 6

(c)
(b) x > y ! x > 4
(c) x > 4 ! x = 5 ^ x < 7
(d)
(d) x < 6 ! x = 5 ^ x < 7
(e) x < 7 ^ x = 5 ! z > x _ y < 7
37. Negar cada una de las siguientes proposiciones:
(f) x > y ! (y < z _ z > x)
(a) 8x 2 A; 9y 2 B=8z 2 C; P (x; y; z)
30. Demostrar: a ^ b
(b) 9x 2 A; 9y 2 B=[P (x) ! Q(x; y)]
(a) b (c) [9y 2 B= P (y)] ^ 8x 2 A; [Q(x) _ R(x)]:
(b) b ! d (d) Todos los americanos estan locos
(c) a _ d (e) Hay al menos una persona que es feliz todo
el tiempo.
31. Demostrar: s
(f) Todos los hombres son honestos o algún
(a) t! r hombre es un ladrón.
(b) r (g) Si el número x es menor que 12; entonces
(c) t _ s hay un número real "y ” tal que x2 + y 2 =
144 es positivo.
32. Demostrar: x < 5
38. Indicar la verdad o falsedad de:
(a) x < y _ x 6= y
(a) 8x 2 R; 8y 2 R; ( x)( y) = xy ! xy > 0:
(b) x = y ! y6=5
(b) 9x 2 R=( 1)x = 0:
(c) x < y ^ y = 5 ! x < 5
x2
(d) y = 5: (c) 8x 2 R; = x:
x
33. Demostrar q 39. Sea f1; 2; 3; 4g el conjunto universal. Determinar
el valor de verdad de cada enunciado:
(a) r!s
(b) s ! p ^ q (a) 8x; x + 3 < 6

3
 (b) 9x; x + 3 < 6
(c) 8x; x2 10 8
2
(d) 9x; 2x + x = 15:

40. Dar un contraejemplo para cada enunciado faso.

Aquí es {3,5,7,9} el conjunto universal.

(a) 8x; x + 3 7
(b) 8x; es impar
(c) 8x; x es primo
(d) 8x; jxj = x

41. Sea A = f2; 3; 4; 5g; cuántas de las siguientes

proposiciones son siempre verdaderas en A?

(a) : x2 2x 1=0
(b) 9x; 9y : x + y < 6
(c) 8x; 9y : x + y < 10
(d) 8x; 8y : x + y < 10
(e) 9x; 8y : x + y < 10

42. Sean A = f4; 2; 3; 1g; F = f5; 1; 4; 8g; cuáles de

las siguientes a…rmaciones son verdaderas:

(a) 9x 2 A; 9y 2 A=x + y > z; 8z 2 B:

(b) [8x 2 A; 9y 2 B=x > y
(c) 8x 2 B; 8y 2 B=x + y < 10: