Primera evaluación Nombre del alumno

Matemáticas Discretas
Profesora: Martha Patricia Jiménez Villanueva _________________________

Problema 1: (5) ¿Cuáles de las siguientes afirmaciones son proposiciones? Escribe si o no

a) No pasar
b) x+1=10
c) Responde a esta pregunta
d) x+y=y+x para todo par de números reales
e) Este enunciado es verdadero

Problema 2: (3) Sea p, q y r enunciados, p: Tienes un 10 en el examen final, q: Haces todos los
problemas del libro. r: Tienes un 10 es esta asignatura.

Expresa estos enunciados usando p, q, r y conectivos lógicos.

a) Es necesario tener un 10 en el examen final para tener un 10 en esta asignatura.

b) Tener un 10 en el examen final y hacer todos los problemas del libro es suficiente para
tener un 10 es esta asignatura.
c) Tienes un 10 en el examen final, pero no haces todos los problemas del libro.

Problema 3: (3) Determina si las proposiciones son falsas o verdaderas

a) 0>1 si, y sólo si, 2>1

b) Si 1+1=3, entonces 2+2=4
c) 1+1=2 si, y solo si, 2+3=4

Problema 4: (4) Escribe cada enunciado de la forma “Si p entonces q”. Después escribe la
contrarecíproca y la inversa de la proposición.

a) Cuando me acuesto tarde es necesario que duerma hasta mediodía.

b) No puedes acceder a una página Web a menos que pagues una cuota de suscripción.

Problema 5: (10) Usar el álgebra de proposiciones para determinar si la proposición es una

tautología, una contradicción o una contingencia

¬(𝑝 ∨ (¬𝑝 ∧ 𝑞)) ⟶ (¬𝑝 ∧ ¬𝑞)

Problema 6: (10) Determina una proposición equivalente a la proposición 𝑝 ⟶ 𝑞 usando sólo el
operador NOR (↓), realizando lo siguiente.

a) Determina una equivalencia de ¬𝑝 usando sólo el operador ↓.

b) Determina una equivalencia de 𝑝 ∨ 𝑞 usando sólo el operador ↓.
c) Escribe 𝑝 ⟶ 𝑞 como una disyunción.

Problema 7: (4) Sea P(x): x habla Chino, Q(x): x conoce el lenguaje de programación C++; R(x): x es
alumno de ESCOM. Expresa cada una de las siguientes sentencias en términos de P(x), Q(x), R(x),
cuantificadores y conectivos lógicos. El dominio para los cuantificadores consiste de todos los
estudiantes del IPN.

a) Hay un estudiante en ESCOM que habla Chino pero no conoce C++.

b) Ningún estudiante de ESCOM habla Chino o conoce C++.
 Segunda evaluación
Matemáticas Discretas
Profesora Martha Patricia Jiménez Villanueva
Periodo 2019-2020/2
Enviar su solución al correo
proyectocalculojimenez@gmail.com
Problema 1

Sean 𝐴 = {1} 𝐵 = {1, 2} dos conjuntos. Seleccionar las opciones que correspondan a
afirmaciones verdaderas.

a) 1⊆𝐴
b) {1} ∈ 𝐴
c) {2} ∈ 𝑃(𝐵)
d) {{1,2}} ∈ 𝐴𝑋𝐵
e) {2} ⊂ 𝑃(𝐵)
f) 𝐴∈𝐵
g) 1∈𝐴
h) {(1,1),(1,2)}⊆ 𝑃(𝐴𝑋𝐵)
i) ∅∈𝐴
j) ∅ ∈ 𝑃(𝐴)
Problema 2

Seleccionar las opciones que correspondan a afirmaciones verdaderas.

a) {𝜙} ∈ {𝜙}
b) {𝜙} ⊂ {𝜙, {𝜙}}
c) {{𝜙}} ⊂ {{𝜙}, {𝜙}}
d) {𝜙} ∈ {{𝜙}}
e) 𝜙 ∈ {𝜙, {𝜙}}
f) 𝐴∪∅=∅
g) 𝐴∪𝐴 =𝐴
h) 𝐴−∅=∅
i) 𝐴∪𝑈 =𝐴
j) ∅−𝐴=∅

Problema 3

Seleccionar las opciones que correspondan a afirmaciones verdaderas.

a) 𝐴 ∪ (𝐴 ∪ 𝐵) = 𝐴
b) ̅̅̅̅̅̅̅̅̅̅
(𝐴 ∪ 𝐵) = 𝐴̅ ∪ 𝐵̅
 Tercera evaluación

Matemáticas Discretas

Profesora Martha Patricia Jiménez Villanueva

Periodo 2019-2020/2

Enviar su solución al correo

proyectocalculojimenez@gmail.com

Instrucciones: Lee cuidadosamente todo el examen y realiza lo que se indica. Justifique

ampliamente sus respuestas.

Problema 1 (9 puntos). Sea A={1,2,3,4}. Proporcione un ejemplo de una relación en AxA, que
tenga las propiedades especificadas.

a) Reflexiva, antisimétrica y no transitiva

b) No reflexiva, simétrica, no antisimétrica y transitiva
c) No reflexiva, no simétrica y transitiva

Problema 2 (9 puntos). Considera la relación dada por la matriz definida en el conjunto

A= {1,2,3,4,5}

1 0 1 1 0
0 1 0 1 0
0 1 1 0 1
1 0 0 1 1
0 1 1 1 1

a) Determinar las propiedades de la relación (Reflexiva, Irreflexiva, simétrica, asimétrica,

antisimétrica, transitiva), justificar por qué se cumple o por qué no.
b) Determina si la relación es: de orden, de orden parcial, de orden total, de equivalencia,
justificar por qué se cumple y por qué no.
c) Determinar en su representación matricial las relaciones complemento de la relación e
inversa de la relación

Problema 3 (9 puntos). Sea R={(x,y)|xy (mod 3), x, y  Z }

a) Determinar si la relación es de equivalencia

b) Si la respuesta al inciso a) es afirmativa, determinar [0], [1], [2], [3], [4], [5], [n].
c) Determinar el conjunto cociente de la relación.

Problema 4 (5 puntos). Demuestra la propiedad de absorción 𝑥(𝑥 + 𝑦) = 𝑥 utilizando las

propiedades del álgebra de Boole
 Cuarta evaluación
Matemáticas Discretas
Profesora Martha Patricia Jiménez Villanueva
Periodo 2019-2020/2
Enviar su solución al correo
proyectocalculojimenez@gmail.com

Problema 1
¿Para qué valores de n contienen los siguientes grafos un circuito euleriano y un
circuito Hamiltoniano?
a) 𝐾𝑛
b) 𝐶𝑛
c) 𝑊𝑛
Problema 2
Determina la longitud de un camino de longitud mínima entre los vértices b y z en
el grafo ponderado dado. Aplique paso a paso el algoritmo Dijkstra.

Problema 3
Determina si el grafo es o no un grafo plano. Si lo es, dibújalo de forma que no
haya cortes de aristas.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE CÓMPUTO

Nombre del alumno:________________________________________________

Grupo: 1CV5 Fecha: 27 de febrero del 2020
Asignatura: Matemáticas discretas Profesora: Olga Kolesnikova

EXAMEN 1

1. Hallar la tabla de verdad de la proposición (1.5 puntos): (𝑞 ↔∼ 𝑟) ∨∼ [𝑟 ⊕ (𝑝 → (~𝑞 ∧ 𝑟))]

2. Simplificar (1 punto): [(𝑝 ∧∼ 𝑞) ∨ (𝑝 ∧ 𝑞)] ∧ 𝑞

3. Demostrar (1 punto): ~(𝑝 ↔ 𝑞) ≡ (𝑝 ↔ ~𝑞)

4. Formalizar y demostrar por el método directo (2 puntos):

Si hace calor, entonces la gente acude masivamente a la playa. Hay más sed que de costumbre porque
hace calor, entonces los niños piden gaseosas o la gente acude masivamente a la playa. Si hace calor y la
gente acude masivamente a la playa, entonces hay más sed que de costumbre. No es el caso que los
niños pidan gaseosas. Luego, la gente acude masivamente a la playa.

5. Demostrar por el método condicional (1 punto):

𝑝→𝑞
𝑞 → ~𝑟
𝑠∨𝑡
𝑟 ∨ ~𝑠/∴ ~𝑡 → ~𝑝

6. Demostrar por el método de la reducción al absurdo (1 punto):

(𝑝 → ~𝑞) ∧ (𝑞 → 𝑟)
𝑟→𝑝
∼ 𝑠 → 𝑞/∴ 𝑠

7. Formalizar usando la notación de lógica de predicados, el universo es arbitrario. Primero define

los predicados necesarios, luego escribe la fórmula (1 punto).

Para todo entero n, si n no es exactamente divisible entre 2, entonces n es impar.

8. Determine si la negación propuesta es la correcta: representa la proposición con la fórmula lógica,

niégala, tradúzcala al español y compara con la negación propuesta (1.5 puntos).

Proposición: El cuadrado de todo número racional es racional.

Negación propuesta: Existe un número real x tal que si x es irracional,
entonces x2 es irracional.
 PRIMER EXAMEN PARCIAL DE MATEMÁTICAS DISCRETAS
1. Considere las siguientes hipótesis. Si tomo el autobús o el metro, entonces llegaré tarde a mi cita.
Si tomo un taxi entonces no llegaré tarde a mi cita y me quedaré sin dinero. Llegaré a tiempo a mi
cita. ¿Cuál de las siguientes conclusiones puede inferirse de las hipótesis? Justifica tu respuesta
usando el método de demostración por resolución.
a) Tomaré un taxi. b) Me quedaré sin dinero. c) Si me quedo sin dinero, entonces tomé un taxi.
2. Demostrar usando reglas de inferencia (sin usar tablas de verdad), que: “Si estudio o si soy un
genio entonces aprobaré el curso. Si apruebo el curso entonces me permitirán tomar el siguiente
curso. Por tanto, si no me permiten tomar el siguiente curso entonces no soy un genio.”
3. Exprese ( → ) ∧ ) usando sólo la conectiva a)  (no-y) b)  (no-o)
4. Demuestre sin usar diagramas de Venn que Si A  B y A  C, entonces A  B  C.
5. Sea A={∅, {∅}, {∅, {∅}}}, Escriba el conjunto potencia P(A) y su cardinalidad.

SEGUNDO EXAMEN PARCIAL DE MATEMÁTICAS DISCRETAS

1. Calcular la suma 18.1816+AB.CD16 =_____________16, al resultado de la suma en base 16
conviertalo a las bases 2, 4, 8 y 7. Es directo pasar a las bases 2, 4 y 8 no hay que hacer divisiones
ni multiplicaciones, explique porqué. Para pasar a base 7 sí escriba las operaciones que se deben
realizar.
2. Demuestre que para a,b,c,d enteros positivos se cumple:
a) ( | ∧ | ) ⇒ |
b) | ⇒ |
c) ∤ ⇒ ( ∤ ∧ ∤ ) (Sugerencia: recuerde la identidad de la contrapositiva).
3. Demuestre que un número escrito en base 10 es divisible entre 3 si la suma de sus dígitos es
divisible entre 3.
4. Demuestre por inducción matemática únicamente 3 de los siguientes incisos:
n
n 1
a)  i(i  1)  n(n  1)(n  2) / 3 n  N , b)   2 n  1 n  N
i 1 i 1 i
c) 5 n 1  2(3 n )  1 es divisible por 8, d) ( !) = ( + 1)! − 1

TERCER EXAMEN PARCIAL DE MATEMÁTICAS DISCRETAS

1. Dada la función booleana ( , , , ) = x z + x z w + x z w + x y z w + x y z w
 Escribir la tabla lógica.
 Simplificar la función usando mapas de Karnaugh.
 Simplificar la función usando las leyes del álgebra booleana.
 Dibuje el circuito simplificado.
 Dibuje el circuito usando solo compuertas NAND.
 Dibuje el circuito usando solo compuertas NOR.
2. Dibuje el grafo bipartido completo K2,7 y etiquete los vértices como guste (letras o números).
 ¿El grafo es plano?
 Si el grafo tiene un camino euleriano diga la secuencia de vértices para recorrerlo.
 Si el grafo tiene un camino hamiltoniano diga la secuencia de vértices para recorrerlo.
 Para que valores de M el grafo completo KM ¿Es euleriano? Justifique su respuesta.
3. Sea R una relación de un conjunto S a un conjunto T. ie R  S  T , ¿Cuándo será RR-1. reflexiva?
4. Escriba 4 relaciones de equivalencia distintas en el conjunto {1,2,3,4}, escriba las clases de
equivalencia en cada caso.
5. Sean R1 y R2 relaciones de equivalencia en un conjunto S. Cual de las siguientes expresiones
será relación de equivalencia, a) R1  R2 , b) R1  R2 y c) R1  R2
6. Demuestre que la relación de congruencia m  n (mod p) , es relación de equivalencia.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE CÓMPUTO

Primer Examen Parcial

MATEMÁTICAS DISCRETAS

Profesora: Jazmín Adriana Juárez Ramírez

Tipo A

Nombre _____________________________________________________ Grupo

Instrucciones: Resuelva todos los ejercicios. Se prohíbe el uso de teléfonos celulares y

calculadoras. Cada ejercicio tiene un valor de 2 puntos.

1. Si n  Z+, demuestre usando el principio de inducción matemática que si sin ≠ 0,

entonces
sin!2, %&
!cos %&!cos 2%&!cos 4%&!cos 8%& ⋯ +cos!2,-. %&/ 0 ,
2 sin %

2. Se entrevistaron a 140 profesores de la ESCOM para conocer sus gustos musicales, y se

obtuvieron los siguientes resultados: A 35 les gusta la música rock, a 36 les gusta la música
clásica y a 32 les gusta el jazz. 19 encuestados prefieren escuchar rock y música clásica,
8, música clásica y jazz, 10, rock y jazz. 6 aseguraron que les gustan los tres géneros
musicales. Cuántos de estos entrevistados: a) Prefieren el rock, pero no la música clásica?
b) Les gusta al menos uno de estos géneros musicales? c) Les gusta la música clásica, pero
ninguno de los otros géneros? d) Prefieren exactamente dos de estos géneros musicales?
e) No les gusta ninguno de estos tipos de música? Indique las operaciones realizadas entre
conjuntos y compruebe sus resultados mediante un diagrama de Venn.

3. Sea x  Z, calcular los valores de x tales que x - 3 es múltiplo de 5, x - 1 es múltiplo de 2

y x - 2 es múltiplo de 7.

4. Sean A, B y C, conjuntos cualesquiera. Demuestre las siguientes igualdades, mencionando

las propiedades empleadas en cada paso de la demostración.
a. !3 4 5& ∪ !7 4 5& 0 !3 ∪ 7& 4 5.
b. !3 ∩ 5& ∩ !3 4 5& 0 ∅.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE CÓMPUTO

Segundo Examen Parcial

MATEMÁTICAS DISCRETAS

Profesora: Jazmín Adriana Juárez Ramírez

Nombre _____________________________________________________ Grupo

Tipo A

Instrucciones: Resuelva todos los ejercicios. Se prohíbe el uso de teléfonos celulares. Cada ejercicio
tiene un valor de 2 puntos.

1. Establezca la validez del siguiente argumento

! ∧ $
! → &' ∧ $(
' → &) ∨ +(
!s
∴+

2. Escriba el siguiente argumento de manera simbólica. Establezca después su validez mediante tablas
de verdad. Utilice la demostración indirecta para probar el resultado.

“Si el auto tiene gasolina, entonces iré a la tienda. Si voy a la tienda, entonces compraré un
refresco. El auto tiene gasolina. Por lo tanto, compraré un refresco”.

3. Demuestre la regla del silogismo hipotético (transitividad), utilizando las reglas de equivalencia
lógica.

4. Exprese los números 1120 y 754 en base 5. Escriba el procedimiento realizado. Efectúe la suma, el
producto y compruebe sus resultados.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE CÓMPUTO

Tercer Examen Parcial

MATEMÁTICAS DISCRETAS

Profesora: Jazmín Adriana Juárez Ramírez

Tipo A

Nombre ____________________________________________________ Grupo

Instrucciones: Resuelva todos los ejercicios. Se prohíbe el uso de calculadoras y teléfonos

celulares. Cada ejercicio tiene un valor de 2 puntos.

1. Sea  una relación definida sobre ℤ como: ∀ $, & " ℤ, $& ⟺ 2\ *$ + &,. Determine
si  es una relación de orden.

2. Sea B un algebra booleana, para  a, b " B, demuestre:

2.1. Las leyes de De Morgan para tres variables.
2.2. Las leyes de acotación.

3. A partir del grafo y de la matriz de relación, determine si T definida sobre el conjunto A

= {-5,-4,-3, -2,-1,0} como ∀ -, . ∈ A, -T. ⟺ "-3 + . 3 es divisible por 5" , es una
relación de equivalencia. Calcule las clases distintas de equivalencia.

4. Considere el grafo G1 = (V, E).

a) Calcule los grados de los vértices de G1.
b) Escriba la matriz de adyacencia de G1.
c) Compruebe que cumple el teorema del apretón de manos.
d) Verifique si el grafo G1 tiene un circuito de Euler, y si es así determine alguno.
 INSTITUTO POLITÉCNICO NACIONAL
ESCUELA SUPERIOR DE CÓMPUTO

Examen extraordinario
Matemáticas Discretas

Nombre ______________________________________________ Grupo ___________

Instrucciones: Resuelva todos los ejercicios. Se prohíbe el uso de teléfonos celulares y

calculadoras. Cada ejercicio tiene un valor de 2 puntos.

1. Si n  ℤ" , demuestre mediante el principio de inducción que si sin & ≠ 0, entonces

sin'20 &*
'cos &*'cos 2&*'cos 4&*'cos 8&* ⋯ /cos'2012 &*3 4
20 sin &

2. Demuestre las leyes del silogismo hipotético y la demostración por casos, utilizando reglas
de equivalencia lógica.

3. Sea  una relación definida sobre ℤ como: ∀ 7, 9  ℤ, 79 ⟺ 7 ; < 9 ; 4 7 < 9 .

Probar que  es una relación de equivalencia.

4. Un motor M está controlado por tres interruptores x, y, z. Funciona cuando únicamente

dos de los interruptores estén cerrados. Deducir la tabla de verdad de la función M: B3
B, la expresión booleana de M en sus formas canónicas disyuntiva y conjuntiva y el
circuito correspondiente con sus compuertas lógicas. Encontrar la mínima expresión para
M utilizando mapas de Karnaugh.

5. Considere el grafo G = (V, E). a) Calcule los grados de los vértices de G1, b) Escriba la
matriz de adyacencia de G, c) Verifique si el grafo G tiene un circuito de Euler, y si no es
así, modifíquelo de forma tal que pueda determinar un circuito euleriano.
 EXAMEN EXTRAORDINARIO DE
MATEMÁTICAS DISCRETAS
5 de diciembre de 2019
Prof. Perla Rebeca Sánchez Vargas

Nombre:

• Resuelva de manera clara y detallada sin omitir procedimiento los siguientes problemas.

1. (1.0pts) Calcule lo siguiente:

a. Aplicando el algoritmo euclidiano encuentre el máximo comun divisor de 963 y 657.

b. Exprese el número 237 en binario
c. Exprese el número 11011 en decimal

2. (1.0pts) Demuestre lo siguiente:

Si A ✓ B y C ✓ D, entonces A \ C ✓ B \ D.

3. (1.0pts) Demuetre que la proposición cuantificada 8n 2 N, 5|11n 6 es verdadera.

4. (2.0pts) Considere la función f (w, x, y, z) = wy + (wy + z)(x + wz)

a) Encuentra la forma normal disyuntiva

b) Exprésala como una sumatoria de mintérminos
c) Utilizando mapas de Karnaugh representa a f como una suma minimal de productos.
d) Dibuja el circuito combinatorio de f expresada como en el inciso c.

5. (2.0pts) Use las reglas de inferencia para determinar la validez del siguiente argumento
[((¬p _ q) ! r) ^ (r ! (s _ t)) ^ (¬ s ^ ¬ u) ^ (¬ u ! ¬ t)] ) p

6. (1.5pts)Sea X = {1, 2, 3, 4, 5, 6}. (x, y) 2 R si y solo si x + y  6

a. Liste los elementos de R

b. Liste los elementos de R 1

c. Liste los elementos de R R 1

7. (1.5pts)

a) Dibuje la gráfica K2,4 .

b) K2,4 , es una gráfica euleriana? justifique su respuesta.
c) Si la respuesta fue afirmativa en el inciso anterior, escriba un circuito euleriano.
 PRIMERA EVALUACIÓN
MATEMÁTICAS DISCRETAS
2 de marzo de 2020
Prof. Perla Rebeca Sánchez Vargas
Nombre:
• RESUELVA DE MANERA CLARA Y DETALLADA SIN OMITIR PROCEDIMIENTO
LOS SIGUIENTES PROBLEMAS.

1. (2.0pts.)
a. Use las tablas de verdad para verificar la siguiente equivalencia lógica

[p ! (q _ r)] ⌘ [¬r ! (p ! q)]

b. Simplifique por medio de las leyes de la lógica la siguiente proposición compuesta

(¬p ^ (¬q ^ r)) _ (q ^ r) _ (p ^ r)

2. (2pts.)
a. Muestre con un contraejemplo que el siguiente argumento no es válido
p
p!r
p ! (q _ ¬r)
¬q _ ¬s

)s
b. Demuestre que el siguiente argumento es válido

(¬p _ q) ! r
r ! (s _ t)
¬s ^ ¬u
¬u ! ¬t

)p
3. (2pts.) Demuestre o refute las siguientes afirmaciones.:
a. 9x9y [(2x + y = 5) ^ (x + 3y = 8)], dominio de discurso D = Z
b. 8x9y [xy = 1], dominio de discurso D = R
4. (2pts.) Demuestre que el siguiente argumento es válido:

8x [p(x) _ q(x)]
9x¬p(x)
8x [¬q(x) _ r(x)]
a.
8x [s(x) ! ¬r(x)]

) 9x¬s(x)
5. (2.0pts) Escriba el siguiente argumento en forma simbólica. Establezca después la validez del argumento
o proporcione un contraejemplo para mostrar que no es válido.

El contrato se cumplirá si y sólo si las nuevas ventanas se instalan en junio.

Una condición suficiente para que Cristina se pueda mudar a su nueva casa el primero de julio es que
las nuevas ventanas se instalen en junio.
Si no se puede cambiar el primero de julio, deberá pagar la renta de julio de su departamento.
Las ventanas se instalaron en junio o Cristina debe pagar la renta de julio de su departamento.
Por lo tanto, Cristina no tendrá que pagar la renta de su departamento para el mes de julio.
 PRIMERA EVALUACIÓN
MATEMÁTICAS DISCRETAS
2 de marzo de 2020
Prof. Perla Rebeca Sánchez Vargas

Nombre:
• RESUELVA DE MANERA CLARA Y DETALLADA SIN OMITIR PROCEDIMIENTO
LOS SIGUIENTES PROBLEMAS.

1. (2.0pts.)
a. Use las tablas de verdad para verificar la siguiente equivalencia lógica

[p ! (q _ r)] ⌘ [¬r ! (p ! q)]

b. Simplifique por medio de las leyes de la lógica la siguiente proposición compuesta

(¬p ^ (¬q ^ r)) _ (q ^ r) _ (p ^ r)

2. (2pts.)
a. Muestre con un contraejemplo que el siguiente argumento no es válido
p
p!r
p ! (q _ ¬r)
¬q _ ¬s

)s
b. Demuestre que el siguiente argumento es válido

r ! ¬q
r_s
s ! ¬q
p!q

) ¬p
3. (2pts.) Demuestre o refute las siguientes afirmaciones.:
a. 9x9y [(x > 1) ^ (y > 1) ^ (2x 3y = 13)], dominio de discurso D = Z
b. 9x8y [xy = y], dominio de discurso D = R
4. (2pts.) Demuestre que el siguiente argumento es válido:

8x [(q(x) _ s(x)) ! ¬p(x)]

a. 9x [p(x)]

) 9x [¬s(x)]
5. (2.0pts) Escriba el siguiente argumento en forma simbólica. Establezca después la validez del argumento
o proporcione un contraejemplo para mostrar que no es válido.

El contrato se cumplirá si y sólo si las nuevas ventanas se instalan en junio.

Una condición necesaria para que las nuevas ventanas se instalen en junio es que Cristina se pueda
mudar a su nueva casa el primero de julio.
Si no se puede cambiar el primero de julio, deberá pagar la renta de julio de su departamento.
Las ventanas se instalaron en junio o Cristina debe pagar la renta de julio de su departamento.
Por lo tanto, Cristina no tendrá que pagar la renta de su departamento para el mes de julio.
Matemáticas Discretas Segundo Parcial 1

1 Método de Indución
1.1 Lista de ejercicios
Utilice el método de inducción para demostrar los siguientes enunciados,
donde el dominio de discurso son los números narurales N.

a. 1 + 3 + 5 + · · · + (2n 1) = n2 , para cada n 2 N.

n(n + 1)(n + 2)
b. 1 · 2 + 2 · 3 + 3 · 4 + · · · + n(n + 1) = , para cada n 2 N.
3
c. 1(1!) + 2(2!) + · · · + n(n!) = (n + 1)! 1, para cada n 2 N.
n(n + 1)(2n + 1)
d. 12 + 22 + 32 + · · · + n2 = , para cada n 2 N.
6
✓ ◆
n(n + 1) 2
3 3 3 3
e. 1 + 2 + 3 + · · · + n = , 8n 2 N.
2

( 1)n+1 n(n + 1)
f. 12 22 + 3 2 · · · + ( 1)n+1 n2 = , 8n 2 N.
2
1 1 1 1 n
g. + + + ··· + = , 8n 2 N.
1·3 3·5 5·7 (2n 1)(2n + 1) 2n + 1
n(n + 1)(2n + 7)
h. 1 · 3 + 2 · 4 + 3 · 5 + · · · + n(n + 2) = , 8n 2 N.
6
i. 13 + 33 + 53 + · · · + (2n 1)3 = n2 (2n2 1), 8n 2 N.
n2 n
l. Para cada n 2 N tal que n > 10, demuestre que n 2< .
12
m. Para cada n 2 N tal que n > 4, demuestre que n2 < 2n .

n. Para cada n 2 N tal que n > 9, demuestre que n3 < 2n .

Prof. Perla Rebeca Sánchez Vargas