Selección de Exámenes de Primer Parcial

Problema Nº1: Justifica tu respuesta.

a) Si p es una condición necesaria para q, y p es verdadera, ¿podemos afirmar algo acerca del valor de
verdad de q?.
b) Sabiendo que la proposición [(¬p ∨ q ∨ r) ∧ s] ∨ [(¬p ∨ q ∨ r) ∧ ¬s] ∨ (p → q) es falsa, determina los
valores de verdad para p, q, r. ¿Tiene importancia el valor de verdad de s?
c) ¿Es ( (p → q ) ∧ p ) → q una tautología?.
d) ¿Son equivalentes p1: ¬ ( p → q ) y p2: ¬ p → ¬ q?

Problema Nº2:
a) Escribe los contra recíprocos para cada uno de los enunciados dados (todas las variables son números
naturales):
a1) Si a > b y a y b son cuadrados perfectos consecutivos entonces a - b es impar.
a2) Si a2 es par entonces a es par.
b) Indica si las proposiciones son verdaderas o falsas. Justifica las respuestas
b1) “Si 7 ≤ 5 entonces 7 < 5 ∨ 7 = 5”.
b2) ∀ a, b, ∈ R, a ≤ b entonces a < b
b3) ∀ a, b, ∈ R, |a | = | b | entonces a = b
b4) ∀ x, b, ∈ R, b ≠ 0 , si “b divide a x” entonces “b divide a kx” , ∀ k∈ Z
c) Considera la siguiente expresión: “Todos los enteros múltiplos de 9 son múltiplos de 3”. Podemos afirmar
que la negación de la proposición dada es equivalente a (puede haber más de una correcta):
c1) Todos los enteros múltiplos de 9 no son múltiplos de 3.
c2) Todos los enteros múltiplos de 3 son múltiplos de 9.
c3) Algunos enteros múltiplos de 9 no son múltiplos de 3.
c4) Algunos enteros no son múltiplos de 9 ni son múltiplos de 3
c5) Todos los enteros múltiplos de 3 son múltiplos de 9.
c6) Existen enteros que son múltiplos de 3 y no son múltiplos de 9.
c7) Algunos enteros son múltiplos de 9 y no son múltiplos de 3.
c8) Existen enteros que no son múltiplos de 3 ni de 9.

Problema Nº 3: Muchos teoremas en matemática son enunciados equivalentes. Esto significa que cada uno
es verdadero si y sólo sí todos los otros lo son.
a) Si n enunciados son equivalentes ¿cuántas demostraciones del tipo “si y sólo si” se requieren para la
prueba completa del teorema?
b) Puede dar un ejemplo de n enunciados equivalentes?

Problema Nº4: Determina el valor de verdad de los siguientes enunciados y justifica tu respuesta.
a)Una argumentación es válida si y sólo si no se da que sus premisas sean verdaderas y su
conclusión falsa.
b)p → (p →q) es una forma de razonamiento válida.
c) ( ( p →q ) ∧ q ) → p es una forma de razonamiento válida.
d) El conjunto de premisas { p → r, ¬ r, p } es consistente

Problema Nº5:
a) Demuestra utilizando el método directo la validez de los siguientes razonamientos

a) p1: ¬q → ¬ p b) p1: p → (r ∧ t) c) p1: ¬ p ∨ (s → ¬ t)

p2: ¬ p → t p2: s → p p2: s ∧ t
p3: ¬ t p3: r → ¬t p3: p ∨ t
∴ q ∴ ¬s ∴t

b) Escribe en forma simbólica y demuestra la validez del siguiente enunciado:

“Si el lenguaje es importante para la comunicación, es un instrumento de vital importancia; y si el

lenguaje es una forma de vida, entonces es una actividad humana significante. El lenguaje es
importante para la comunicación o es una forma de vida. Si es un instrumento de vital importancia
es una forma de vida; y si es una actividad humana significante entonces las negaciones de su
valor son sin valor. Por consiguiente el lenguaje es una forma de vida o las negaciones de su valor
son sin valor”.

Problema Nº6: Determina si el razonamiento es válido o no utilizando el método indirecto:

 p1: r ∧ t → q

p2: q → s

p3: ¬ s

∴ ¬ r ∨ ¬t

Problema Nº7:
Indica si los siguientes enunciados son verdaderos o falsos, justificando la respuesta:
1) El dual de (p→¬q) ∧ (¬q→p) es ¬(¬ p→q) ∨ (q ∧ p)
2) p→[q→(p∧q)] es una tautología
3) La sucesión entera 3, 4, 6,10,18, 34, 66, 130,... se puede definir mediante la expresión recursiva
an = 2a n-1 – 2, n ∈N, ao = 3
4) En el álgebra de Boole de los divisores de 30 se verifica que: (1 + 15 .2 + 3) = 3
5) Si a│b entonces a │b c, ∀ c ∈ Z, a ≠ 0
6) Sea (G, .) un grupo. ∀x, y ∈G : (x . y)’ = x’ . y’

Problema Nº8: Justifica tu respuesta.

a) Si p es una condición necesaria para q, y p es verdadera, ¿podemos afirmar algo acerca del valor de
verdad de q?.
b) Sabiendo que la proposición [(¬p ∨ q ∨ r) ∧ s] ∨ [(¬p ∨ q ∨ r) ∧ ¬s] ∨ (p → q) es falsa, determina los
valores de verdad para p, q, r. ¿Tiene importancia el valor de verdad de s?
c) ¿Es ( (p → q ) ∧ p ) → q una tautología?.
d) ¿Son equivalentes p1: ¬ ( p → q ) y p2: ¬ p → ¬ q?

Problema Nº9:
a) Usa inducción matemática para probar que 5 n-1 es divisible por 4 para n ∈ N.
b) Sea n ∈N con n = rk10k + …… + r2 102 + r1 10 + r0
b1) Demuestra que 2│n si y solo si 2│r0
b2) Demuestra que 4│n si y solo si 4│ r1 10 + r0
b3) Demuestra que 8│n si y solo si 8│r2 102 + r1 10 + r0
b4) Establece una propiedad general sugerida por estos resultados.
c) Resuelve la relación de recurrencia an – 3 an – 1 = 5 (3n), n ≥ 1, a0 = 2.

Problema Nº10:
a) Usa inducción matemática para probar que 5 n-1 es divisible por 4 para n ∈ N.
b) Sea n ∈N con n = rk10k + …… + r2 102 + r1 10 + r0
b1) Demuestra que 2│n si y solo si 2│r0
b2) Demuestra que 4│n si y solo si 4│ r1 10 + r0
b3) Demuestra que 8│n si y solo si 8│r2 102 + r1 10 + r0
b4) Establece una propiedad general sugerida por estos resultados.
c) Resuelve la relación de recurrencia an – 3 an – 1 = 5 (3n), n ≥ 1, a0 = 2.

Problema Nº11:
a) Escribe proposiciones lógicamente equivalentes a las dadas utilizando sólo los conectivos ¬, ∧, ∨:
a1) p ∨ q a2) p ↔ ¬q
b) Sabiendo p ∨ q y ¬p ∨ q son verdaderas, deduce el valor de verdad de las proposiciones:
b1) p → q b2) ¬p ∧ ¬q
c) Decide si las siguientes proposiciones son verdaderas o falsas, justificando las respuestas:
c1) ∀ m ∈ Z +, ∃ n ∈ Z + tales que m divide a n.
c2) ∃ m ∈ Z , ∀ n ∈ Z tales que m + n = n .
c3) Para a = −220 y b = 13, ∃ q, r ∈ Z , únicos tales que −200 = 13 q + r, con 0 ≤ r < 13.
Problema 2:
a) 2 = mcd ( 6, −26). Escribe a 2 como combinación lineal entera de 6 y −26 de dos maneras diferentes.
b) Encuentra la solución general para la relación de recurrencia an = a n-1 + 3, con a0 = 1 y n ≥1.

n2 ( n + 1)2
c) Demuestra por inducción que P(n) : 13 + 23 + 33 + …+ n3 = para todo número natural n.
4
Problema Nº12:
a) Demuestra que esta proposición es una tautología (p ∨ q) ∧ ¬p → q. Utiliza esta tautología para justificar
que es verdadera la siguiente implicación: Si n2 +3 n − 4 = 0 y n ≠ 1 entonces n = −4.
b) Sabiendo que el resto de la división de un entero n por 7 es 3, calcula el resto de la división de 2n+11 por 7
c) Decide si las siguientes proposiciones son verdaderas o falsas, justificando las respuestas:
c1) ∀ m ∈ Z +, ∃ n ∈ Z + tales que m < n.
c2) ∃ m ∈ Z +, ∃ n ∈ Z + tales que 14 m + 20 n = 101
c3) ∃ n ∈ Z +, ∀ m ∈ Z +, tales que m < n.
c4) ∀ n ∈ Z +, ∃ m ∈ Z + tales que m < n.
Problema 13:
a) Dada la sucesión a0, a1, a2, …., an, ….de números reales y sea Sn la suma de los n primeros elementos de
n
la sucesión, esto es Sn = ∑a
k =0
k . Escribe Sn mediante una definición recursiva.

b) Encuentra la solución general para la relación de recurrencia an = 2 a n-1 + 1, con a0 = 0.

c) Demuestra por inducción que P(n) : 3n(n + 1) es divisible por 6, para todo número natural n.
d) Decide si las siguientes proposiciones son verdaderas o falsas, justificando la respuesta:
d1) Todo grupo de tres elementos es conmutativo.
d2) Existen anillos en los que se verifica que a b = 0 y a ≠ 0 y b ≠ 0.
d3) Todo grupo de cuatro elementos posee sólo dos subgrupos.
d4) Z+ constituye un grupo abeliano con la operación producto (usual).
Problema Nº14:
a) ¿Para qué valores enteros de c, 0 < c < 40, la ecuación diofántica 3185x + 35 c y = 455 no tiene solución?
b) Utilizando la inducción matemática, prueba que 5n -1 es divisible por 4 ∀ n ∈ N.
c) Aplica el algoritmo de la división en Z para encontrar el cociente y el resto (positivo) de dividir −1735 por
−31.

Problema Nº15:
a) Escribe el mcd (795, −105) como combinación lineal de los enteros dados.
b) Demuestra que existen infinitos primos
c) Encuentra la solución general para la relación de recurrencia an – a n-1 = n para n ≥ 1, a0 = 0
d) Define la siguiente sucesión de números por recurrencia, sabiendo que an = 3n – 4 , n ≥ 1.

Problema Nº16: a) Sabiendo que la proposición [(¬p ∨ q ∨ r) ∧ s] ∨ [(¬p ∨ q ∨ r) ∧ ¬s] ∨ (p → q) es

falsa, determina los valores de verdad para p, q, r. ¿Tiene importancia el valor de verdad de s?
Justifica tu respuesta.
b) Justifica la verdad o falsedad de los siguientes enunciados:
b1) ( (p → q ) ∧ p ) → q es una tautología.
b2) La proposición ¬ ( p → q ) es equivalente a ¬ p → ¬ q.
b3) Un subgrupo H del grupo Z10 es {0, 2, 5} .
b4) El término 15 de la relación de recurrencia an+1 = 3 an + 3n donde a0 = 0 es a15 = 15. 314.

Problema Nº17: a) Usa inducción para demostrar que 3 es divisor de n3 + 3n2 + 2n ∀ n∈ N.

b) Determina el número de enteros positivos, menores o iguales a 1000 que no sean divisibles por 2
y por 3.
c) Resuelve la relación de recurrencia: an+2 + 2 an+1 – 8 an = 0, n ≥ 2, a0 =1 y a1 = 3.
d) Encuentra todas las soluciones enteras de la ecuación 225 x + 186 y = 90, si existen.
Problema Nº18: Decide si las siguientes proposiciones son verdaderas a falsas. Justifica todas las
respuestas:
a) ∃ un polinomio p(n) con p(1) = p(5) = 0 y p(4) = 10
b) La proposición ¬ (p ↔ q) es equivalente a (p ∨ p)
c) ∀ a, b ∈ R, a2 + b2 > 0
d) ∀ a, b ∈ R, si a2 = b2 entonces a3 = b3
e) Si un número entero es divisible por 15 entonces es divisible por 5.
f) El conjunto V = {x ∈ Q, x = 1/n, n ∈ N } no es bien ordenado
g) La ecuación 450 x + 372 y = 180 tiene soluciones enteras.
n
1 n
Problema Nº19: a) Prueba por inducción que ∑ = , ∀ n ∈ N.
k =1 k ( k + 1) n +1
b) Resuelve la relación de recurrencia an+1 = 3 an + 3n donde a0 = 0.
c)¿Cuántos divisores tiene el número 29.338.848.000? Justifica.

Problema Nº20: Decide si las siguientes proposiciones son verdaderas a falsas. Justifica las respuestas:
a) Dada la proposición “si T es un triángulo rectángulo entonces T es un triángulo isósceles”, su negación es
“si T es un triángulo rectángulo entonces T no es un triángulo isósceles”.
b) La proposición p ↔ q es equivalente a ¬ (p ∨ p)
c) n = 2 es condición necesaria para n2 – n – 2 = 0.
d) Si n2 – n – 2 = 0 entonces (n = 2 ∧ n = –1).
e) Si m, n, p son enteros positivos y “m divide a n ∧ m divide a p” , entonces “m divide a kn + hp” ∀ k, h, ∈ Z.

Problema Nº21: a) Prueba por inducción que n3 − n es un entero divisible por 3, ∀ n ∈ N.

b) Aplica el algoritmo de Euclides para escribir mcd (-578, 6035) como combinación lineal entera de ambos
números.
c) ¿Tiene la ecuación de la recta -578 x + 6035 y = 34 pares de soluciones enteras? Justifica.

Problema Nº22: Indica si las siguientes proposiciones son verdaderas o falsas, justificando todas las
respuestas:
a) Las expresiones lógicas son equivalentes: ¬( p ∨ q ) ∨ [(¬p ∧ q ) ∨ ¬q ] ; ¬(q ∧ p )
b) Las expresiones lógicas son equivalentes : (r → t ) ∧ [¬t ∧ (q ∨ ¬t )] ; (r ∨ t )
c) La negación de la proposición “Todos los países de la Unión Europea tomaron al euro como moneda
oficial” es la proposición “Existen países que no son de la Unión Europea y que tomaron al euro como
moneda oficial”.
74 81289
d) Si an ≥ 0 , es una solución de la relación de recurrencia an +1 + dan = 0 y a3 = ; a5 = , entonces
13 32
el valor de d es 169/8.
e) Para que an = 2 − 3n , n ≥ 0 , sea la solución general de la relación de recurrencia
a n + 2 + ba n +1 + can = 0, n ≥ 0 , las constantes b y c pueden asumir infinitos valores reales.

Problema Nº23:
a) ¿Cómo justifica en el anillo de los enteros que se 5m = 5n entonces m = n?
b) Llena los espacios en blanco para que las siguientes proposiciones sean verdaderas. Coloca además el
dominio para el que se verifican:
Por ejemplo: b1) 1 | …… , ……….(dominio); se completa como 1 | a , ∀ a ∈ Z;
b2) Si a | ……. ∧ ……. | a entonces a = ± …….., …………….
b3) Si a | ……….. ∧ ……… | ………. entonces a | c, ……………………….
b4) Si a | b entonces a | ………….., …………………..
b5) Si a | ……… ∧ a | …………… entonces a | x b + y c , …………………….
c) Demuestra por inducción que 3 es divisor de 4n − 1 , ∀ n ∈ N.
d) ¿Existen enteros x, y tales que 32x + 10y = 42? Justifica
e) Aplica el algoritmo de la división en Z para encontrar el cociente y el resto de dividir −735 por −31

Problema Nº24:
a) ¿Cuál es la condición suficiente para verificar que un número p es primo? Aplica la condición para analizar
si 1537 es primo.
b) Completa los espacios en blanco para que resulten proposiciones verdaderas:
Sean a, b ∈ Z no ambos nulos. Se verifican: mcd(a, b) = mcd ………… = mcd ………..= mcd….………..
c) Escribe el mcd(315, −113) como combinación lineal de los enteros dados.
d) Encuentra la relación de recurrencia que expresa la siguiente sucesión 3, 4, 6, 10, 18, 34, 66, 130, …..
Luego halla la solución general.

Ejercicio 25
a) Si a y b son primos relativos y c es un entero, que verifica que c⏐a y c⎮b ¿Qué valores toma c? Justifica.
b) Si p es primo y p divide a un producto de dos enteros: a)¿qué puedes asegurar respecto de los mismos? Justifica.
¿Puedes generalizar esta propiedad?
n(n + 1)(2n + 1)
c) Demuestra usando el método de inducción que 1 + 2 + ... + n =
2 2 2
∀n∈N
6
d) Hallar la solución general de la relación de recurrencia lineal homogénea 4an+2 + 4 a n+1 -24 an = 0 n ≥ 2 , a0 = 1; a1 =
2
Problema Nº26: Responde:
a) Si (p → ¬r) y [(p → ¬r) ∨ q] son ambas proposiciones falsas, completa la tabla con los valores de verdad
de las proposiciones siguientes:
p q ¬r q ∨r r →q ¬p ∨ r

b) Indica si cada proposición es verdadera o falsa, justificado la respuesta:

b1) La proposición p → q es equivalente a ¬ (q → p)
b2) La dual de la proposición p ∨ q es equivalente a la proposición (p ∨ q) ∧ ¬ (p ∧ q)
b3) La proposición r ∧ [p ∧ (p ∨ q)] ∨ ¬p es una tautología.
b4) ¬(p ∧ q) ↔ ¬p ∧ ¬q

Problema Nº27:
a) Demuestra que ∀ n ∈ Z la expresión n3 +13 n +7 es impar y que la ecuación n3 +13 n +7 = 0 no tiene
soluciones enteras.
b) Indica si cada proposición es verdadera o falsa, justificado la respuesta:
b1) la expresión n2 − n + 41 da como resultados números primos, ∀ n ∈ N
b2) el conjunto V = {x ∈ Q: x = 1/n, n ∈ N} es bien ordenado.
b3) si a | b y b | a entonces | a | = | b | donde a y b son enteros no nulos.
c) Aplica el algoritmo de la división para el caso: a = −637 (dividendo) y b = −15(divisor)
d) Demuestra que la relación definida en Z por x ≡ y (mod n) si y sólo si x−y = k n para algún entero k, es de
equivalencia.
e) Aplica el algoritmo de Euclides para escribir mcd (−637, −15) como combinación lineal entera de ambos
números.

Problema Nº28: Resuelve

a) La relación de recurrencia no homogénea: an = 2a n−1 + (n−1) , n > 1, a1 = 0.
b) ¿Es cierto que la solución general de la relación de recurrencia: an = 4an-2; a0 = 1; a1 = 3 es 2n+1 − 1, n≥0?
Clasifícala.
c) Da una definición recursiva para cada una de las siguientes sucesiones de enteros a1, a2, a3, a4, …..donde
para cada n ∈ N tenemos:
c1) an = 3 n + 2
c2) an = n2