CUANTIFICADOR

UNIVERSAL
¿Qué es un Cuantificador
Universal?
Un cuantificador universal, se refiere a elementos empleados
para generalizar expresiones.

El cuantificador universal se denota con el símbolo A invertida

(Ɐ), antepuesto a una variable significa que “para todo”
elemento de un conjunto, se cumple una proposición.

TODO, NINGUNO, CADA, CUALQUIERA

 Tipos de
cuantificadores
universales:

 Cuantificador Universal
Afirmativo.
 Cuantificador Universal
Negativo.
CUANTIFICADOR UNIVERSAL AFIRMATIVO

Para identificar que se trata de un

cuantificador universal afirmativo, se
emplean frases como: Sea A una expresión y X una variable, si se
Todos X - Todo X quiere indicar que A es verdadero para todas
las posibles variables de X, se escribe de la
Para cada X
siguiente manera:
Cada X
Cada uno X
(Ɐx) A (Ɐx)
Siempre que X
Cualquiera X
Para todo X
EJEMPLOS

Hay árboles, todos son árboles, algunos

números, siempre son números, algunos

árboles son maderables, todos los árboles son

maderables, hay árboles maderables que tiene

flores, los árboles maderables tienen flores.

 Ejemplos
“x es idéntico a si mismo”
Este enunciado es equivalente a
“x es idéntico a x”

Observe que cualquier nombre que sustituya a x

forma una proposición verdadera, pues cualquier
individuo es idéntico a si mismo. Por lo tanto, el
enunciado se podría escribir
“todo x es idéntico a si mismo”
 Ejemplos
o Todos son vegetales
o Cualquier flor
o Siempre son animales

Para simbolizarlos lógicamente se determinan los predicados así:

V: “ser vegetal”
F: “ser flor”
A: “ser animal”

Simbólicamente los enunciados quedan de la siguiente manera:

• (Ɐx)(Vx): para todo x, x es un vegetal; cualquier x, x es un vegetal o siempre x, x es un vegetal.
• (Ɐx)(Fx): para todo x, x es una flor; cualquier x, x es una flor o siempre x, x es una flor.
• (Ɐx)(Ax): para todo x, x es un animal; cualquier x, x es un animal o siempre x, x es un animal.
 Bibliografía
o Matemáticas discretas 27/11/2017. Lógica de cuantificadores. Recuperado de:
https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-
d453d859dd20

o Pernalete H. 20/05/2016. Calculo de Predicados. Recuperado de:

https://www.slideshare.net/HenryPernalette/clculo-de-predicados-62209198

o López B. Cuantificadores universales [Archivo PDF]. Recuperado de:

http://www.itnuevolaredo.edu.mx/takeyas/Apuntes/Inteligencia%20Artificial/Apuntes/IA
/Filminas-Cuantificadores.PDF

o Casas L. Cuantificador universal Afirmativo. Calameo.com. Recuperado de:

https://es.calameo.com/read/0058512028a8f5df8fa54