Universidad de Antioquia

Facultad de Ciencias Exactas

Introducción a las Matemáticas
Parcial 1

1. Por medio de tablas de verdad determine cuál de las siguientes afirmaciones es tautologı́a,
contradicción o contingencia:

((P =⇒ Q) ∧ Q) =⇒ Q
(P =⇒ Q) ⇔ (P ∧ ¬Q)
(P =⇒ Q) ⇔ (P ∨ ¬Q)

2. Escriba el siguiente enunciado en lenguaje simbólico y por medio de reglas de inferencias

llegue a la conclusión.
Todo miembro de la liga de la justicia tiene superpoderes o es muy inteligente. Toda
persona muy inteligente que ha ido a la universidad tiene doctorado. Batman es miembro
de la liga de la justicia, no tiene superpoderes y fue a la universidad. Por lo tanto,Batman
tiene doctorado.
Sugerencia: Defina lo siguiente:

U : La colección de todas las personas.

J(x) : La persona x es miembro de la liga de la justicia.
S(x) : La persona x tiene superpoderes.
I(x) : La persona x es muy inteligente.
U(x) : La persona x ha ido a la universidad.
D(x) : La persona x tiene doctorado.

3. Sea n un entero. Demuestre que si n2 es múltiplo de 3 entonces n es múltiplo de 3.

Sugerencia: Proceda por contrarreciproco y disyunción de casos usando el hecho de que
n = 3k, n = 3k + 1 ó n = 3k + 2 para algún k ∈ Z, y que no se cumplen dos de éstas
simultáneamente.
√
4. Demuestre que 3 es irracional.
Sugerencia: Proceda por reducción al absurdo y utilice el punto anterior.

5. Por medio de inducción matemática demuestre la siguiente igualdad:

3 3 3n2 (n + 1)2
1 + 2 + ··· + n =
4