INSTITUCION EDUCATIVA ALVARO ECHEVERRY PEREA

MATEMATICAS/CALCULO
FECHA DOCENTE ESTUDIANTE CURSO
ADRIANA UMAÑA
TRUJILLO

CUANTIFICADOR: Es una expresión que indica la cantidad de elementos que cumple una proposición.
Los cuantificadores se usan para convertir una función proposicional en una proposición.
Los principales cuantificadores son el cuantificador universal “PARA TODO” que se simboliza ∀ y el
cuantificador existencial “EXISTE ALGÚN” que se simboliza ∃.
Para negar una proposición con cuantificador universal se utiliza el cuantificador existencial y para negar
un cuantificador existencial se utiliza un cuantificador universal.
Por ejemplo, la función proposicional “ 𝑥 es menor que 5” se representa 𝑃(𝑥): 𝑥 < 5 ; en donde 𝑥 se
puede reemplazar por diferentes valores de un conjunto numérico para formar una proposición.
La función proposicional 𝑃(𝑥): 𝑥 2 + 2 ≤ 20, la convertimos en proposición así: ∀𝑥 ∈ ℤ, 𝑥 2 + 2 ≤ 20
Si 𝑥 = 4, ¿Cuál es su valor de verdad?
Si 𝑥 = 5, ¿Cuál es su valor de verdad?
La proposición: 𝑃(𝑥): 𝑥 2 + 2 ≤ 20 la negamos así: ∃𝑥 ∈ ℤ/ 𝑥 2 + 2 ≤ 20
Simbolizar la proposición “Todos los números reales son irracionales”. Escriba su negación.

ACTIVIDAD 1
1. Escriba las siguientes proposiciones en lenguaje natural.
a. ∀ 𝑥 ∈ ℕ: 𝑥 ≥ 7
b. ∃ 𝑦 ∈ ℤ: 𝑦 + 2 ≤ −10
c. ∀𝑥 ∈ ℕ: √𝑥 ≥ 0
d. ∃𝑥, 𝑦 ∈ ℤ: 𝑥 + 𝑦 = 𝑦 + 𝑥

2. Simboliza las siguientes proposiciones con cuantificadores.

a. Existen elipses que son circunferencias.
b. Todo número entero impar es de la forma 2𝑥 + 1
c. Existen números 𝑥, 𝑦 tales que 𝑥 + 𝑦 = 0
d. Todo número divisible entre 2 es par.

3. Simboliza la negación de las siguientes proposiciones.

a. Existen algunos números racionales que son menor que 1.
b. Todos los números naturales son divisibles entre 5.
c. Existe un número que elevado al cuadrado es igual a 3.
d. Todos los números irracionales son reales.