ALGEBRA

SUPERIOR I.
TAREA

DR. FRANK PATRICK MURPHY HERNANDEZ.

Repaso de nociones l
ogicas b
asicas.
Fecha de entrega: 21 de agosto del 2015
Ejercicio 1. Decir cuales de los siguientes enunciados son proposiciones. Argumenta tu
respuesta.
1. Comenzamos!
2. Ma
nana ser
a un da nublado.
3. Muero porque no muero.
4. Cu
ando estudiar
as para el examen?
5. Para tener exito, la planificaci
on sola es insuficiente. Uno debe improvisar tambien.
6. La afirmaci
on siguiente es falsa.
7. La afirmaci
on anterior es verdadera.
8. El hombre m
as irremediablemente est
upido es aquel que ignora su sabidura.
9. La suerte favorece s
olo a la mente preparada.
10. Una persona feliz no puede ser mejor.
Ejercicio 2. Defnanse P=Es un da caluroso, Q=Mi primo est
a escuchando m
usica
y R=Voy a salir a nadar. Escribe las siguientes proposiciones con palabras:
1. Q
2. P R
3. P R
4. (Q R)
5. Q (R Q)
Ejercicio 3. Sea T una tautologa y C una contradicci
on. Demuestra que para cualquier
proposici
on P:
1. T P es una tautologa.
2. P C es una contradicci
on.
Ejercicio 4. Sean P, Q y R proposiciones. Demuestra que las siguientes proposiciones
son tautologas.
1. P Q Q P
2. P (Q R) (P Q) R
1

TAREA DR. FRANK PATRICK MURPHY HERNANDEZ.

P Q P Q P | Q
1 1
0
0
1 0
0
1
0 1
0
1
0 0
1
1
Cuadro 1
3. P (Q R) (P Q) (P R)
4. (P Q) P Q
5. (P Q) (P Q) (P Q)
Ejercicio 5. Para dos proposiciones P y Q definimos los conectivos | y mediante la
tabla de verdad mostrada en el cuadro 1.
1. Escribe proposiciones l
ogicamente equivalentes a la negaci
on y a la conjunci
on
usando u
nicamente el conectivo .
2. Repite el inciso anterior usando u
nicamente el conectivo |.
Ejercicio 6. Sean P, Q, R y S proposiciones. Demuestra las siguientes reglas de inferencia.
1. (Modus Tollendo Ponens) P Q, Q; P
2. (Modus Tollens) P Q, Q; P
3. (Silogismo Hipotetico) P Q, Q R; P R
4. (Dilema Constructivo) P Q, R S, P R; Q S


ALGEBRA
SUPERIOR I.

Conjuntos.
Fecha de entrega: 11 de septiembre del 2015
Ejercicio 7. Decir cuales de los siguientes enunciados son verdaderos.
1. {{}}.
2. {} {, {}}.
3. Si A es un conjunto no vaco entonces A A.
Ejercicio 8. Sean P el conjunto de todas las personas del mundo, M el conjunto de
todas las mujeres del mundo y H el conjunto de todos los hombres del mundo. Describa
con palabras los siguientes conjuntos.
1. {x P |x tiene un hijo y x H}.
2. {x P | existen y, z P tales que y es hijo de x y z es hijo de y}.
3. {x P | existe m M tal que m est
a casado con x}.
4. {x P | existe q P tal que x y q tienen la misma madre}.
5. {x P | existe h P tal que h es mayor que x}.
Ejercicio 9. Decir que conjuntos son subconjuntos de otros.
H el conjunto de todos los hombres.
M el conjunto de todas las mujeres.
P el conjunto de todos los padres.
O el conjunto de todas las mam
as.
F el conjunto de todos las pap
as.
U el conjunto de todos los tos.
A el conjunto de todas las tas.
C el conjunto de los hijos de alguien.
Ejercicio 10. Encuentra dos conjuntos A y B tales que A B y A B.
Sean A, B, C y D conjuntos.
Ejercicio 11. Demuestra que x A si y s
olo si {x} A.
Ejercicio 12. Demuestra que si A B, B C y C A entonces A = B = C.
Ejercicio 13. Demuestra que:
1. A = .
2. A = A.
Ejercicio 14. Demuestra lo siguiente:

TAREA DR. FRANK PATRICK MURPHY HERNANDEZ.

1. A B si y s
olo si A B = A.
2. A B si y s
olo si A B = B.
Ejercicio 15. Demuestra las siguientes afirmaciones:
1. A B = si y s
olo si A = B = .
2. A B = A B si y s
olo si A = B.
Ejercicio 16. Supongamos que A B. Demuestra que:
1. A C B C.
2. A C B C.
Ejercicio 17. Sea X un conjunto. Demuestra las siguientes afirmaciones:
1. Si X A y X B entonces X A B.
2. Si A X y B X entonces A B X.
Ejercicio 18. Demuestra que si C A B y A C = entonces C B.
Ejercicio 19. Demuestra que A C si y s
olo si A (B C) = (A B) C.
Ejercicio 20. Demuestra que:
1. (A \ B) B = .
2. (A \ B) B = A B.
Ejercicio 21. Demuestra que:
1. A \ B = si y s
olo si A B.
2. A \ B = A si y s
olo si A B = .
3. A \ B = B \ A si y s
olo si A = B.
4. A \ (B \ C) = (A \ B) \ C si y s
olo si A C = .
Ejercicio 22. Demuestra las siguientes afirmaciones:
1. A \ (A \ B) = A B.
2. B \ (B \ A) = A si y s
olo si A B.
Ejercicio 23. Demuestra que A \ B = A B si y s
olo si A = .
Ejercicio 24. Demuestra que si A B entonces A \ C = A (B \ C).


ALGEBRA
SUPERIOR I.

Ejercicio 25. Demuestra que C \ (A B) = (C \ A) (C \ B).

Ejercicio 26. Supongamos que X es un conjunto tal que A, B, C X y que:
1. A B = A C.
2. (X \ A) B = (X \ A) C
Demuestra que B = C.
Ejercicio 27. Supongamos que A C = B C y A C = B C. Demuestra que A = B.
Ejercicio 28. Supongamos que A B y C D, demuestra que A C B D.
Ejercicio 29. Demuestra que A B = si y s
olo si A = o B = .
Ejercicio 30. Demuestra que si A 6= B y A C = B C entonces C = .
Ejercicio 31. Demuestra que A B = B A si y s
olo si A = B.
Ejercicio 32. Demuestra que:
1. A (B C) = (A B) (A C).
2. A (B C) = (A B) (A C).
Ejercicio 33. Demuestra que (A B) (C D) = (A C) (B D).
Ejercicio 34. Demuestra que (A B) \ (A B) = (A \ B) (B \ A).
Ejercicio 35. Demuestra las siguientes afirmaciones:
1. A 4 = A.
2. A 4 A = .
3. A 4 (B 4 C) = (A 4 B) 4 C.
Ejercicio 36. Demuestra que A (B 4 C) = (A B) 4 (A C).
Ejercicio 37. Demuestra lo siguiente:
1. A B = (A B) \ (A 4 B).
2. A \ B = A (A 4 B).
3. A B = (A B) 4 (A 4 B).

TAREA DR. FRANK PATRICK MURPHY HERNANDEZ.

Ejercicio 38. Supongamos que A y B satisfacen que A 4 X = B, donde X es un

conjunto. Quien es X?
Ejercicio 39. Demuestra que A (B 4 C) = (A B) 4 (A C)
Ejercicio 40. Es el produto cartesiano asociativo? Argumenta tu respuesta.
Ejercicio 41. Si A = {a, b, c, d, e} y B = {a, e, i, o, u} encuentra:
1. A B
2. A B
3. A \ B
4. B \ A
5. A 4 B
6. A B
Ejercicio 42. Demuestra o da un contraejemplo para las siguientes afirmaciones:
1. (A B) = (A) (B).
2. (A B) = (A) (B).
Ejercicio 43. Escribe los elementos de:
1. (()).
2. (({})).
Ejercicio 44. Demuestra que A = B si y s
olo si (A) = (B).
Ejercicio 45. Sea X un conjunto tal que A, B X. Demuestra las siguientes afirmaciones:
1. Si A B = X entonces X \ A B.
2. Si A B = entonces A X \ B.
3. A = X \ B si y s
olo si A B = X y A B = .
Ejercicio 46. Demuestra que para todo conjunto X se tiene que

(X) = .

Ejercicio 47. Si (a, b) denota el par ordenado de a y b, demuestra las siguientes afirmaciones:
T
1. S(a, b) = {a}.
2. (a, b) = {a, b}.


ALGEBRA
SUPERIOR I.

Definamos el conjunto A(B) = {C B|C tiene un solo elemento}.

Ejercicio 48. Demuestra que

A(B) = B.

A = si y s
olo si A =
o para todo X A se tiene

Sean A (A) y B (B)

Ejercicio 49. Demuestra que
que X = .

Ejercicio 50. Demuestra que si A B entonces:

T
T
1. S B S A.
2. A B.
Ejercicio 51. Demuestra que si A (C) entonces

A C.

Ejercicio
52. Demuestra que si para todo X A se tiene que C (X) entonces
T
C A.
Definamos el conjunto A C := {X C|X A}.
S
S
Ejercicio 53. Demuestra que C ( A) = (C A).
Definamos el conjunto A C := {X C|X A}.
T
T
Ejercicio 54. Demuestra que C ( A) = (C A).
Definamos el conjunto A \ C := {X \ C|X A}.
S
T
Ejercicio 55. Demuestra que C \ ( A) = (C \ A).
Ejercicio 56. Demuestra que C \ (

A) =

(C \ A).