Ejercicios No.

1
Lgica
1. Simbolizar las siguientes proposiciones:
(a) No hace calor.
(b) Hace calor y est lloviendo.
(c) Est lloviendo si, y slo si, hace calor.
(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.
(a) Si 3 + 2 = 7, entonces 4 + 4 = 8.
(b) no es verdad que 2 + 2 = 5 si, y solo si,
4 + 4 = 10.
(c) Bagdad est en Irak o Caracas est
Ecuador.
(d) No es verdad que 1 +1 = 3 o que 2 +1 = 3.
(e) Es falso que si Caracas est Ecuador, en-
tonces Bagdad est en Irak.
(f) Sa sabe que las proposiciones p.q y q t
son falsas, hallar el valor de verdad de los
siguientes esquemas: (i) (~ p . t). ~ q;
(ii) ~ [p . (~ q. ~ q)]; (iii) [(p q). ~
(q . t)] [~ p . (q. ~ t)]:
(g) Si la proposicin ~ [(~ p.q).(r q)].[(~
p . q) (q. ~ p)] es verdadera , halle los
valores de verdad de p; q; y r:
3. Hacer la tabla de verdad de cada una de las
proposicines siguientes:
(a) ~ (p ~ q)
(b) (p . q) (p . q)
(c) ~ (p . q). ~ (q p)
(d) [p . (~ q p)]. ~ [(p q)]
(e) (p q) ~ (q . t)
(f) [(~ p . q) . (r q)] [~ p . (q. ~ r)]
4. Simplicar las siguientes proposiciones:
(a) ~ (~ p q)
(b) (p. ~ q) . (p . q)
(c) ~ (~ p. ~ q) . (~ q p)
(d) (~ p q) (~ p . q) . (r q)
(e) ~ (~ p ~ q). ~ [(p ~ q) (q. ~ p)]
(f) [p . (q ~ r)] . [(~ p . r) ~ q]:
5. Simplicar los siguientes enunciados:
(a) No es verdad que las rosas son rojas implica
que las violetas son azules
(b) No es verdad que hace fro y est lloviendo.
(c) No es verdad que hace que l es bajo o
galn.
(d) No es verdad que haceio fro o que est
lloviendo.
(e) No es verdad que si est lloviendo entonces
hace fro.
(f) No es verdad que las rosas son rojas si y
slo si violetas son azules.
6. Demostrar las equivalencias utilizando las leyes
lgicas:
(a) p ~ q = q ~ p:
(b) p . (q . r) = (p . q) . (p . r):
(c) (p . q) r = (p r) . (q r):
(d) p . (q . r) = (p . q) . (p . r)
(e) [(p q) r] = [(p. ~ r) ~ q]:
7. Demostrar si las siguientes implicaciones son
ciertas:
(a) p . q = p:
(b) p . q = p:
(c) q = p q:
(d) p q = q p:
(e) p . (q . r) = (p . q) . r:
(f) ~ p = p q:
(g) q = [(p . q) p]
8. Simplicar ~ [(~ p . q) (r. ~ r)]. ~ q:
9. Simplicar [(~ q ~ p) (~ p ~ q)]. ~
(p . q):
10. De la falsedad de (p ~ q) .(~ r s), deducir
el valor de
(a) (~ p. ~ q). ~ q
(b) [(~ r . q) . q] [(~ q . r) . s]
(c) (p r) [(p . q). ~ q]
1
11. Si p; q; r; s; t; w son proposiciones tales que (p. ~
r) (s w) es verdadera, y (~ w ~ s) es
falsa. Hallar el valor de verdad de las proposi-
ciones:
(a) (p . q) . r . s:
(b) (s ~ w) (r. ~ p):
(c) [t (w. ~ p)]. ~ (p r):
12. Si la proposicin [(p (~ q)) . (p . q)] [r
s] es falsa, determinar los valores de verdad de
p; q; r; s:
13. Si p; q; r; s; t; w son proposiciones tales que (p. ~
r) (s w) es verdadera, y (~ w ~ s) es
falsa, hallar el valor de verdad de [t (w. ~
p). ~ (p r)].
14. Simbolizar " Si Gamarra manda atacar a los
lanceros, la artillera har fuego y los infantes
pasarn a la retaguardia. En caso de que mande
atacar a los lanceros, la infantera deber abrir
fuego. Luego, si los infantes no pasan a la reta-
guardia, abrirn fuego .
15. Simbolice y determine su validez del argumento:
Si el testigo dice la verdad, entonces el asesino
hizo tres disparos; adems, el revolver tena cinco
balas. Si el revolver tena cinco balas, el asesino
hizo slo un disparo y no tres. Entonces, el tes-
tigo no ha dicho la verdad
16. Analizar si los dos enunciados son equivalentes:
" un nmero natural es primo o es par, entonces,
si es primo, debe ser menor que siete; pero, este
nmero no es primo si es par y Si un nmero
natural no es par y es menor que siete, entonces
el nmero es primo. O si el nmero es primo y
es menor que siete, entonces no debe ser par .
17. Determinar la validez del la siguiente proposicin
compuesta. "Si tiene un solo elemento, se llama
conjunto unitario. Si no tiene elemento alguno,
se llama conjunto vaco. Tiene un solo elemento
o no tiene elemento alguno, se llama conjunto
vaco. Tiene un solo elemento o no tiene ele-
mento. En consecuencia, se llama conjunto uni-
tario o se llama conjunto vaco .
18. Simbolizar y comprobar la validez de los sigu-
ientes enunciados:
(a) Juan es director de una empresa si tiene
el mayor nmero de acciones; y si tiene
el mayor nmero de acciones, o es un ac-
cionista o tiene mucho dinero. Ocurre que
Juan tiene el mayor nmero de acciones.
Por consiguiente, o es un accionista o tiene
mucho dinero.
(b) Si un satlite gira alrededor de la Luna, en-
tonces gira alrededor de la Tierra; y si gira
alrededor de la Tierra, tambin gira alrede-
dor del Sol. Y, si gira alrededor del Sol,
entonces gira alrededor de la constelacin
de la Lira. En consecuencia, un satlite o
gira alrededor de la Luna o gira alrededor
de la constelacin del la Lira
19. Dados los siguientes esquemas moleculares: A =
p(~ q); B = p ~ r) y C =~ (q. ~ r):
Determinar:
(a) Si la conjuncin de A y C implica a B:
(b) Si la disyuncin de A y B implica a C:
20. Si las proposicin ; p (r . q) es falsa y p; w; s
son proposiciones cualesquiera, hallar los valores
de verdad de las siguientes proposiciones:
(a) p . (q . r);
(b) w (s . p);
(c) ~ (r . p) (p . q):
21. Demostrar que la proposicin: ~ (p q) .
(q ~ r) es equivalente a las proposiciones:
(a) [p . (p. ~ r)]. ~ q:
(b) [p. ~ q] . [~ (q . r]:
(c) [p. ~ q] . [(p. ~ r). ~ q]:
22. Si se sabe que p + q = p ~ q y p]q =~ p. ~ q;
evaluar el esquema A = (p q)](q + r):
23. Si denimos: p + q = (p q) (p . q); p]q =~
p. ~ q; p q =~ (p q): Evaluar:
(a) (p q)](q r):
(b) [(p + q)]q] (q]r):
(c) (p]q) . (r + q):
(d) ~ (p]q). ~ (p r):
24. Demostrar; S
(a) P Q;
(b) Q ~ R:
(c) R
(d) P . (T . S):
25. Demostrar: A
(a) ~ A ~ B
(b) ~ B ~ C
(c) C
2
26. Demostrar: ~ s
(a) p q
(b) q r
(c) s ~ r
27. Demostrar: x = 0
(a) x ,= 0 y = 1
(b) x = y y = w
(c) y = w y,=1
(d) x = y
28. Demostrar: ~ T
(a) P. ~ R
(b) ~ S
(c) (T . Q) ~ P
(d) R . S:
29. Demostrar: x < 6
(a) x > y . x < 6
(b) x > y x > 4
(c) x > 4 x = 5 . x < 7
(d) x < 6 x = 5 . x < 7
(e) x < 7 . x = 5 z > x . y < 7
(f) x > y (y < z . z > x)
30. Demostrar: a . b
(a) b
(b) b ~ d
(c) a . d
31. Demostrar: s
(a) t r
(b) ~ r
(c) t . s
32. Demostrar: x < 5
(a) x < y . x ,= y
(b) x = y y,=5
(c) x < y . y = 5 x < 5
(d) y = 5:
33. Demostrar q
(a) ~ r s
(b) s p . q
(c) r t
(d) ~ t
34. Demostrar : x > 2 . x = 2
(a) x < y x = 2
(b) x < y . x ,< y
(c) x,<y x > 2
35. Demostrar: xy,=0
(a) y > x x = 0
(b) xy = 0 x = 0
(c) y ,= x:
36. Determinar el circuito lgico ms simple equiva-
lente al circuito dado:
(a)
(b)
(c)
(d)
37. Negar cada una de las siguientes proposiciones:
(a) \x A; y B=\z C; P(x; y; z)
(b) x A; y B=[P(x) Q(x; y)]
(c) [y B= ~ P(y)] . \x A; [Q(x) . R(x)]:
(d) Todos los americanos estan locos
(e) Hay al menos una persona que es feliz todo
el tiempo.
(f) Todos los hombres son honestos o algn
hombre es un ladrn.
(g) Si el nmero x es menor que 12; entonces
hay un nmero real "y tal que x
2
+ y
2
=
144 es positivo.
38. Indicar la verdad o falsedad de:
(a) \x R; \y R; (x)(y) = xy xy > 0:
(b) x R=(1)x = 0:
(c) \x R;
x
2
x
= x:
39. Sea 1; 2; 3; 4 el conjunto universal. Determinar
el valor de verdad de cada enunciado:
(a) \x; x + 3 < 6
3
(b) x; x + 3 < 6
(c) \x; x
2
10 _ 8
(d) x; 2x
2
+ x = 15:
40. Dar un contraejemplo para cada enunciado faso.
Aqu es {3,5,7,9} el conjunto universal.
(a) \x; x + 3 _ 7
(b) \x; es impar
(c) \x; x es primo
(d) \x; [x[ = x
41. Sea A = 2; 3; 4; 5; cuntas de las siguientes
proposiciones son siempre verdaderas en A?
(a) : x
2
2x 1 = 0
(b) x; y : x + y < 6
(c) \x; y : x + y < 10
(d) \x; \y : x + y < 10
(e) x; \y : x + y < 10
42. Sean A = 4; 2; 3; 1; F = 5; 1; 4; 8; cules de
las siguientes armaciones son verdaderas:
(a) x A; y A=x + y > z; \z B:
(b) ~ [\x A; y B=x > y
(c) \x B; \y B=x + y < 10:
4