Sei sulla pagina 1di 6

Presentado Por:

Wilder Hernando González Gutiérrez


Tutor:
Andrea Lizbeth Nova
Grupo: 200611_2118
Universidad Nacional Abierta y a Distancia
UNAD

Septiembre 2019
Cuantificador Universal

En lógica se utiliza el símbolo ∀,denominado cuantificador
universal, antepuesto a una variable para decir que "para
todo" elemento de un cierto conjunto se cumple la
proposición dada.

Sea A una expresión, y sea x una variable. Si deseamos


indicar que A es verdadero para todos los posibles valores
de x, escribiremos ∀xA. Aquí, ∀x se denomina cuantificador
universal, y A se denomina ámbito (alcance) del
cuantificador. Se dice que la variable x está ligada por el
cuantificador. El símbolo ∀ se lee “para todo”.
Cuantificador Universal
Afirmativo

Frases mas comunes en cuantificador universal
afirmativo:

 Todos x - todo x
 Para cada x
 Cada x
 Cada uno x
 Siempre que x
 Cualquiera x
 Para todo x
Cuantificador universal
Afirmativo.

Si queremos representar :Todos los leones son
carnívoros, el predicado seria “son carnívoros”
entonces P(x) significa que x son carnívoros, “todos los
leones”, implica que esto se aplica para todas las x. se
formaliza.

 Proposición: Para todo x


 Formula: ∀x P(x)
Ejemplos cuantificador
universal afirmativo

A continuación, se muestra una seria de formalizaciones de
expresiones en las cuales se aplica el cuantificador universal
afirmativo.
 Todos los japoneses comen arroz y practican artes marciales.
∀x (japoneses (x) → comearroz (x) ^ practica artes marciales(x))
 Todos los parisinos son franceses
Se puede representar: Para todo x, si x es parisinos , entonces x
es franceses.
∀x (parisinos (Px) → franceses (Fx))
Bibliografía

 Cardona, T. S. A. (2010). Lógica matemática para ingeniería
de sistemas y computación. (pp. 106-112). Ediciones Elizcom,
Madrid. Recuperado
de https://bibliotecavirtual.unad.edu.co:2538/lib/unads
p/reader.action?ppg=109&docID=3199701&tm=15295103
66591
 Ciencias Básicas. (2019). Que son los cuantificadores:
definición y tipos - Ciencias Básicas. (online).Recuperado de
https://ciencias-basicas.com/cursos-gratuitos-de-
matematica/matematica-superior-1/teoria-de-
conjuntos/cuantificadores/