Dar una demostraci on formal completa para cada uno de los razonamientos siguientes. 1. Demostrar: S T (1) (P ( R)) (2) Q P (3) R S (4) (Q S) (T S) 2. Demostrar: T P (1) S R (2) R T (3) S P (4) P 3. Verifique si las siguientes proposiciones son equivalentes. a) (p q) y ( p q) b) (p q) y ( q p) 4. Demuestre que si x2 es par, entonces x es par.
5. Demostrar que 2 es irracional.
6. Demuestre que si x es un n umero real, entonces |x| 0. 7. Demuestre que: 3
1 + 2 + ... + n =
n(n + 1) 2
2
8. Sean A, B y C subconjuntos de un conjunto U. Demuestre:
a) (Ac )c = A b) A B, entonces B c Ac . 9. Si A , I es una familia de conjuntos y M es cualquier otro conjunto, demuestre que: M (I A ) = I (M A ). 10. Si A es una familia de conjuntos todos contenidos en un conjunto U, demuestre que: c