EVALUACIÓN DE CONSOLIDADO 1.

DESARROLLO 2 - 2022-10

Facultad: ………………………………………………… Apellidos : ……………………………..………………………………………………

Asignatura : MATEMÁTICA DISCRETA Nombres : ………………………………….……………………………………….
Docente : JAMA Fecha : 04/05/2022 Sección: 17 58

INSTRUCCIONES: Responda las siguientes preguntas teniendo en cuenta las indicaciones de cada pregunta.
Presente la resolución en un archivo PDF, evite borrones y presente un proceso ordenado.
El tiempo para desarrollar es de 75 minutos y 15 minutos para subir el archivo.

1.- Dada la siguiente proposición “No es cierto que Jorge sea bombero y además un
médico, entonces Jorge es arquitecto o no es bombero; asimismo Jorge es
arquitecto. Por lo tanto, Jorge es arquitecto”, determinar:
a) Las proposiciones simples en forma del lenguaje simbólico. (1 punto)

b) Las premisas. (1 punto)

c) Demostrar aplicando las leyes de inferencia si el argumento es válido. (2 puntos).

2.- Jorge es el delegado del curso de Matemática Discreta y con sus compañeros
han formado todos los grupos posibles de dos alumnos. Si en total se obtienen 420
grupos ¿cuántos alumnos hay en el curso de Matemática Discreta? (3 puntos)
3.- Jorge quiere colocar en su biblioteca tres libros de matemáticas y cuatro libros
de fundamentos de programación en una fila de modo que los libros de
matemáticas ocupen el lugar par. ¿De cuántas maneras Jorge puede hacer la
distribución?
(3 puntos)

4.- Dada la siguiente sucesión

1, 4, 7, 10 , … , 𝑎𝑛 , …
a) Determinar el elemento 𝑎𝑛 . (1punto)
b) Determinar la fórmula para la suma de 𝑛 elementos, esto es, (1 punto)
1 + 4 + 7 + 10 + ⋯ + 𝑎𝑛
 c) Usar inducción matemática para establecer la fórmula para 𝑛 ≥ 1.
(2 puntos)
1 + 4 + 7 + 10 + ⋯ + 𝑎𝑛 = 𝑆𝑛

5.- La expresión recursiva 𝐶1 (𝑛) es:

𝐶1 (1) = 3, 𝑠𝑖 𝑛 = 1,
𝐶1 (𝑛) = {
𝐶1 (𝑛) = 𝐶1 (𝑛 − 1) + 3𝑛, 𝑠𝑖 𝑛 ≥ 2.
a) Hallar 𝐶1 (2), 𝐶1 (3), 𝑦 𝐶1 (4) (0.5 p)
b) Demostrar aplicando inducción matemática que:
(𝑛 + 1)𝑛
𝐶1 (𝑛) = 3 , ∀ 𝑛 ∈ ℕ.
2
(3.5 puntos)
6.- Usando las leyes de teorías de conjuntos, simplifique la siguiente expresión:
′ ′
( ((𝐴 ∪ 𝐵) ∩ 𝐶) ∪ 𝐵′ )

(2puntos)