EJERCICIOS DE ÁLGEBRA

10 ADE. Curso 2022-2023 LÓGICA

1. Escribir, utilizando los símbolos que se han introducido, los siguientes

enunciados.

a.- Todos los números enteros son racionales

b.- Dado un número irracional cualquiera siempre hay un número natural
que es mayor que él.
c.- Si dos números enteros son distintos la suma de sus valores absolutos
es distinta de 0
d.- Sea A el conjunto de los números racionales mayores que 5
e.- El número pi no es racional

2. Escribir, utilizando los símbolos de los cuantificadores, las siguientes pro-

posiciones. Enunciar y escribir, también con los símbolos de los cuantifi-
cadores, la negación de las mismas del modo más simple posible.

a.- x = 0 e y > 0
b.- Algún x verifica x = y
c.- Ni x ni y valen 7.
d.- Para cada  > 0 existe ∂ > 0 que verifica B
e.- Existe  > 0 tal que para todo ∂ > 0 que f () < ∂

3. Dadas las siguientes proposiciones escríbanse sus contrarias, recíprocas y

contrarrecíprocas.

a.- Si los precios de los bienes suben las preferencias de los consumidores
varían.
b.- Si reinicio el ordenador en modo seguro no se abre ningún ítem de
arranque.
c.- Si no se usa la mascarilla el riesgo de contagio aumenta.
d.- Si no quieres ir al cine vamos al teatro.

4. Dadas las siguientes proposiciones escríbanse sus contrarias y recíprocas y,

en todos los casos, decídase si son verdaderas o falsas. (x, y, z son números
reales).

a.- x=1ey=5 =⇒ x/y = 1/5

b.- (x − y)(x − 2y) = 0 =⇒ x=y
c.- x2 + y 2 6= 0 =⇒ x 6= 0 e y 6= 0
d.- xy = xz =⇒ y=z
e.- x3 > y 2 =⇒ x>0
√
f.- x = ±y =⇒ x>0

1
 5. Probar que la proposición (p ∧ q) ∨ (¬p ∨ ¬q) es siempre verdadera

6. Probar que la proposición (p ∧ q) =⇒ (r ∨ s) es lógicamente equivalente a

la proposición (¬r ∧ ¬s) =⇒ (¬p ∨ ¬q)

7. Probar que una proposición y su contrarrecíproca son lógicamente equi-

valentes

8. Pruébese por inducción que para todo número natural n se verifica

(1 + n)n
1 + 2 + ··· + n =
2

9. Pruébese por inducción que para todo número natural n se verifica

1 + 3 + . . . + (2n − 1) = n2

10. Pruébese por inducción que para todo número natural n se verifica

2 + 4 + . . . + 2n = n(n + 1)

11. Pruébese por inducción que ∀n > 4 se verifica n! > 2n .