ExFinMateDisc21ASab

1.

Dadas las proposiciones compuestas

P:“Si lo intento con ahínco y tengo talento, me
convertiré en músico” y
Q: “Si me convierto en músico, seré feliz”
Una conclusión C que hace válido el
razonamiento (P ∧ Q) → C es el siguiente:

(2 puntos)
Voy a ser feliz.
Si no voy a ser feliz, entonces no lo intento
con ahínco o no tengo talento.
Si me convierto en músico, entonces lo intento
con ahínco
No me convierto en músico

2.

Dadas las proposiciones simples:

p: La pandemia se detiene. q: Sigo estudiando. r:
Sigo trabajando.
Una negación de la proposición compuesta
“Si la pandemia se detiene, entonces podré seguir
estudiando o trabajando”, es:

(2 puntos)

¬p→¬(q∨r)

(p∧¬q)∧¬r

¬p→(q∨r)

(q∨r)→¬p
 3.

Si la proposición
[(a ∧ ¬ b) → d ] ∨ ¬ (d ∨ e)
es falsa, entonces es verdad que:

(2 puntos)

(a ∧ ¬ b) es verdadera

(d ∨ a) es falsa

(b ∨ a) es falsa
(a → ¬e) es verdadera

4.

La proposición: “Si se es inteligente o estudioso,

entonces se es aplicado”;
es lógicamente equivalente a:

(2 puntos)
Si no se es inteligente, entonces no se es ni
estudioso ni aplicado
Si se es inteligente, entonces se es aplicado y
si se es estudioso entonces se es aplicado.
Si se es inteligente, entonces se es aplicado
pero no se es estudioso
Si se es inteligente, entonces se es estudioso
y aplicado

5.

Sea el conjunto de referencia U={2, 4, 6, 8, 10}.

Entonces es falso que:

(2 puntos)
∀x (x > 0)

∃x (x2 -7= 6x)

∃x (x2 = 6x - 8)

∀x ∃n∈N (x = 2n)
 6.

La negación de la proposición
“Para todo número natural n, n + 2 > 8” ,
es:

(2 puntos)
Existe un natural n tal que n + 2 ≥ 8
Ningún natural n cumple con n + 2 > 8
Todos los naturales n son tales que n + 2 > 8
Algún natural n es tal que n + 2 ≤ 8

7.

Al negar y simplificar la proposición:

∃x[A(x) Λ {A(x)→¬B(x)}], se obtiene la siguiente
proposición:

(2 puntos)

∀x[A(x) V ¬B(x)]

∀x[A(x) Λ ¬B(x)]

∀x[A(x)]

∀x[¬B(x)]

¬∀x[A(x)]

8.
Demuestre por el método de inducción matemática, la
siguiente proposición (7 puntos):
∀n∈ℕ, se cumple que n3 + 5n es un número divisible por 3.
ℕ significa conjunto de los números naturales.
Recuerde la definición de Ser divisor de
 9.
Demuestre cualquiera de las siguientes proposiciones, por el
método que se indica: (5 puntos)

Por el método directo:

Si n es un entero impar, entonces 3n + 2 es un entero impar.

Por Reducción al absurdo:

Sean a y b son dos números reales cualesquiera;
Si a b = 0, entonces a = 0 o b = 0
Recuerde la definición de número impar o número par.

Debe elegir solo uno de ellos. Si desarrolla los dos, se tomará

a efectos de calificar, el primero que aparezca en su
presentación.