Lógica y Matemática Discreta.

Curso 2021/22

Primer parcial

28 de marzo de 2022

Ejercicio 1. (2.5 puntos) Dada una familia numerable de conjuntos finitos An , el cardinal del
producto cartesiano de n ≥ 1 conjuntos de esta familia coincide con el producto de los cardinales
de cada conjunto.

(a) Traducir a lógica de predicados el enunciado anterior.

(b) Demostrar que el enunciado anterior se satisface para todo n ∈ N − {0}.

Ejercicio 2. (2.5 puntos) Un club deportivo cuenta con 78 personas, de las cuales 50 juegan
al fútbol, 32 a baloncesto y 23 a voleibol. Hay 6 miembros que practican los tres deportes y 10
que no practican ninguno de los tres.

(a) ¿Cuántas personas practican solo un deporte?

(b) ¿Cuántas practican solo dos deportes?

(c) ¿Cuántas practican al menos dos deportes?

(d) ¿Cuántas practican a lo sumo dos deportes?

Ejercicio 3. (2.5 puntos) Sean x, y ∈ R. Se define la relación

x ∼ y ⇔ cos x = cos y

(a) Demostrar que es una relación de equivalencia.

π
(b) ¿Cual es la clase de 4?

(c) ¿Cual es la clase de a ∈ R arbitrario? Concluir el ejercicio definiendo el conjunto cociente

R
∼

Ejercicio 4. (2.5 puntos) Consideramos el conjunto parcialmente ordenado con la relación de

divisibilidad
X = {2, 3, 4, 6, 12, 15, 24, 90, 180, 360} ⊂ N − {0}

(a) Dibujar el diagrama de Hasse.

(b) Calcular, si existen, maximales, minimales, máximo, mínimo, supremo e ínfimo de X.

(c) Obtener el conjunto de cotas superiores de A = {2, 3, 4, 6, 12, 180} y, si existe, el supremo
de A.

(d) Obtener el conjunto de cotas inferiores de A y, si existe, el ínfimo de A.