Guía de Ejercicios de Matemática I
EJERCICIOS UNIDAD 3: CUANTIFICADORES
Funciones proposicionales. Cuatificadores
1. Exprese las siguientes proposiciones usando funciones proposicionales y
cuantificadores cuando sea necesario:
a) 1 es par
P(x): “ x es par “
P(1) : es proposición Falsa
b) 9 es impar
P(x): “ x es impar”
P(9): es proposición Verdadera
c) Roberto es psicólogo
P(x): “x es psicólogo”
P(Roberto)
d) Eugenia no está distraída.
P(x): “x no esta distraída”
P(Eugenia)
e) Todos los números reales son positivos.
∀𝑥 ∈𝑅 ∶𝑥 >0
f) Algunos números enteros son múltiplos de 7.
∃𝑥 ∈ ℤ⁄ 𝑥= 7k
g) Ningún triángulo es cuadrado ℤ
P(x):” x es cuadrado”
∀𝑥 ∈ : ~ P(x)
h) Todos los números racionales tienen coseno negativo.
∀𝑥 ∈ ℚ ∶ cos 𝑥 < 0
i) Nadie es perfecto.
P(x): “x es perfecto”
∀𝑥 ∈ H : ~P(x)
2. Dar el valor de verdad de las siguientes proposiciones:
a) ∀ x ∈ Ζ : x2 ≥ 0
El cuadrado de todo numero entero es 0 o positivo V
b) ∀ x ∈ ℜ : sen x > 0
El seno de todo número real es mayor a 0
F
c) ∃ x ∈ N / x es par
Algunos números naturales son pares
V
d) ∃ x ∈ ℜ / x4 > -9
Existen números reales elevados a la cuarta
potencia su resultado es mayor a -9 V
3. Dadas las siguientes premisas, expresarlas simbólicamente, negarlas y
traducirlas nuevamente al lenguaje ordinario:
a) El cuadrado de todo número real es mayor que dos.
El cuadrado de algunos números reales es menor o igual que 2
b) Existen enteros cuyos cubos aumentado en uno es igual al cubo del siguiente.
V
El cubo aumentado en 1 de todo número entero es distinto del cubo del siguiente F
c) Todo número real cuyo cuadrado es menor que 9 está , comprendido entre –3 y 3.
V
x R: x2 < 9 (-3<x <3)
~[ x R: x2 < 9 (-3<x <3)]
x R: ~[~ (x2 < 9) (-3<x <3)] por equivalencia
x R:~[~(x2 < 9) (-3<x <3)] por ley de Demorgan
x R: (x2 < 9) ~ (-3<x <3)] por involución o doble negación
x R: (x2 < 9) ~ [(x>-3)(x <3)] por equivalencia lógica
x R: (x2 < 9) ~(x> - 3) ~ (x <3) por ley de Demorgan
x R: (x2 < 9) (x ≤ - 3) (x ≥3)
El cuadrado de algunos números reales es menor que 9 y esos números son menores o
iguales que -3 o mayores o iguales que 3 F
d) El logaritmo de algunos números reales es negativo.
F
V
Para todos los números reales su logaritmo es mayor o igual a cero
e) Todo número real positivo tiene tangente positiva.
F
Existen números reales positivos cuya tangente es menor o igual a cero
Expresar el valor de verdad de las premisas dadas y obtenidas.
4. Simbolizar los siguientes razonamientos de acuerdo al código dado:
a) Si todo es posible, algo es eterno. Todo es posible. Por lo tanto, algo es eterno. (P(x):
x es posible. E(x): x es eterno)
por Modus Ponens
b) Nadie se benefició si hubo errores. Alguien se benefició. En consecuencia no hubo
errores. (E(x): x es error. B(x): x se benefició.)
por Modus Tollens
c) Pedro está ensayando o alguien está escuchando la radio. Pedro no está ensayando.
En consecuencia, alguien está escuchando la radio.
por Silogismo Disyuntivo
5. Determinar el valor de verdad de las siguientes proposiciones, para el conjunto:
A = {x∈Z / x∈[0,5]}.
a. ∀x∈A/ x2 −5x+ =6 0.
Si x vale 0 o 5 el resultado nunca seria 0 por lo tanto es FALSO
b. ∃x∈A/ x3 +x2 − =2x 0 .
Si tomamos el 0 el resultado de la ecuación es 0
Si tomamos el 5 el resultado no será cero por lo tanto existe. Verdadero
c. ∀x∈A, ∃ ∈y A/ x y+ = 4.
La suma de cualquiera de los elementos de A nunca podría dar 4 por lo
tanto es Falso
6. Determinar el valor de verdad y negar las siguientes proposiciones; dado el
conjunto:
{ }
B = x / x Z∈ +, x≤ 4 .
a. ∀x∈B / x−1< 2. Falso
b. ∀x∈B, ∃ ∈y B: x2 +y2 ≥8. Verdadero
c. ∃ x ∈ B, ∃ ∈ y B : x- y = 0. Verdadero
