CUANTIFICADOR

UNIVERSAL AFIRMATIVO
CUANTIFICACIÓN UNIVERSAL
Se utiliza para afirmar que TODOS los
elementos de un conjunto, cumplen con una
condición o propiedad determinada.
Sea A una expresión y x una variable. Si se
desea indicar que A es verdadero para todos
los posibles valores de x se escribe (Ɐx) A.
 (Ɐx) es un cuantificador universal.

 A es el ámbito (alcance) del cuantificador.

 La variable x esta ligada al cuantificador.

 El símbolo Ɐ que significa “para todos”.

El cuantificador universal indica que algo es cierto para

todos los individuos.
CUANTIFICADOR UNIVERSAL
AFIRMATIVO
Las frases que comúnmente se usan para para
denotar e cuantificador universal afirmativo
son:
 Todos x – todo x

 Para cada x

 Cada x

 Cada uno x

 Siempre que x

 Cualquiera que x

 Para todo x
 EJEMPLOS
 Todos los bolígrafos tienen tinta y tapa Ɐx
(bolígrafo (x) →tiene tinta (x) ᶺ tienen tapa (x).
 Todos los gatos tiene cola.

Hallar primero el ámbito del

cuantificador universal, que es “Si
x es un gato, entonces x tiene cola” y se
define como:
Gx ↔ x es un gato
Cx ↔ x tiene cola
(∀x) Gx → Cx
 BIBLIOGRAFÍA
Cardona, T. S. A. (2010). Lógica matemática
para ingeniería de sistemas y
computación. (pp. 9-28). Ediciones Elizcom,
Madrid. Recuperado dehttps://
bibliotecavirtual.unad.edu.co:2538/lib/unads
p/reader.action?ppg=12&docID=3199701&t
m=1529335849013
Ing. B López T. B. Cuantificadores universales
http
://www.itnuevolaredo.edu.mx/takeyas/Apunte
s/Inteligencia%20Artificial/Apuntes/IA/Filmina
s-Cuantificadores.PDF