Cuantificador Universal Afirmativo

Romario Andrés Osorio Tejeda

1046816022

Pensamiento Lógico y Matemático

(200611B_614)

Universidad Nacional Abierta y a Distancia – UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería

2019
¿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.

En esta oportunidad, se hará énfasis en el cuantificador universal afirmativo, para

identificarlo se emplean frases como:

 Todos X - Todo X
 Para cada X
 Cada X
 Cada uno X
 Siempre que X
 Cualquiera X
 Para todo X

Sea A una expresión y X una variable, si se quiere indicar que A es verdadero para
todas las posibles variables de X, se escribe de la siguiente manera:

(Ɐx) A (Ɐx)
Ejemplo 1.
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.
Ejemplo 2.
“x es idéntico a sí mismo”
Este enunciado es equivalente a:
“x es idéntico a x”
De acuerdo a lo anterior se logra observar que cualquier nombre que sustituya a x
forma una proposición verdadera, pues cualquier individuo es idéntico a sí mismo.
Por lo tanto, el enunciado se podría escribir:
“Todo x es idéntico a sí mismo”
Ejemplo 3.
Los enunciados
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.

Matemáticas discretas 27/11/2017. Lógica de cuantificadores. Recuperado de:

https://medium.com/@matematicasdiscretaslibro/6-logica-de-cuantificadores-
d453d859dd20

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

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

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

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

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

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