Cuantificadores

Prof. David Chaves

Definición
Los cuantificadores expresan numéricamente la cantidad de elementos que satisfacen o no una proposición
abierta, produciendo que la misma deje de ser abierta sin la necesidad de mostrar explícitamente los valores
que la hacen verdadera o bien falsa. Por ejemplo:

𝑃 𝑥 : 2𝑥 + 1 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟 𝑅: 2𝑥 + 1 𝑒𝑠 𝑢𝑛 𝑛ú𝑚𝑒𝑟𝑜 𝑖𝑚𝑝𝑎𝑟, 𝒑𝒂𝒓𝒂 𝒕𝒐𝒅𝒐 𝑥 ∈ ℤ ≡ 𝑉

𝑄 𝑥 : 𝑥2 − 1 = 0 𝑆: 𝑥 2 − 1 = 0 𝒑𝒂𝒓𝒂 𝒂𝒍𝒈ú𝒏 𝑥 ∈ ℝ ≡ 𝑉

Proposiciones abiertas
Para todo: hace referencia a que todos los elementos de cierto conjunto
satisfacen la proposición.
Para algún: hace referencia a que basta con un elemento del conjunto
que cumpla la proposición, aunque dentro del mismo conjunto existan
elementos que no la satisfacen.
 ∃, ∀
• Cuantificador existencial: los más conocidos corresponden a:
❑Para algún EJEMPLO:
“Existe un 𝒙 𝝐 ℝ tal que 𝒙𝟐 − 𝟏 = 𝟎”
❑Existe al menos un se escribe como:
❑Existe un _____ tal que ∃𝒙 ∈ ℝ [𝒙𝟐 − 𝟏 = 𝟎]
Se utiliza el símbolo ∃
• Cuantificador universal: los más conocidos corresponden a:
EJEMPLO:
❑Para todo “Para todo 𝒙 𝝐 ℤ se tiene que 2𝑥 + 1 es impar”
❑Para cada se escribe como:
∀𝒙 ∈ ℤ [2𝑥 + 1 es impar]
Se utiliza el símbolo ∀
Ejemplos
NOTA: la negación de ∃
se escribe ∄ y se lee
“no existe…”
A practicar
• Simbolice completamente las siguientes proposiciones:
1. Existen tres números reales de manera que la suma de los dos primeros es igual a la suma del tercero más
4.

2. Para todo número real positivo x, existe al menos un número natural n diferente de cero, tal que el inverso
multiplicativo de n es menor que x.

3. No existe un número real que sea mayor que todos los reales.
Negación de Cuantificadores
• Se satisfacen las siguientes equivalencias

¿Cómo sería la negación?

 A practicar
• Escriba la equivalencia y la negación de las siguientes proposiciones:

Proposición Equivalencia Negación

∀ 𝑥 𝜖 ℝ [3𝑥 − 2 ≤ 2]

∃ 𝑥 𝜖 ℤ [2𝑥 = 5 → 𝑥 2 + 1 < 2]

∄ 𝑥 𝜖 ℤ [𝑥 > 2 ⋀ 𝑥 + 1 = 7]

Nota: − 𝑃 → 𝑄 ≡ − −𝑃 ∨ 𝑄 ≡ [𝑃 ∧ −𝑄]
Cuantificadores en dos variables
Ejercicios
• Escriba y simplifique la negación de las proposiciones: