Cuantificador Universal Afirmativo.

Pensamiento lógico matematico

Diego Fernando Cuellar
Estudiante de contaduría publica
grupo: 200611-36
Cuantificadores

Los cuantificadores son los símbolos que determinan la propiedad de

una preposición categórica, existen dos símbolos principal mente el
cuantificador universal y el cuantificador existencial.
Cuantificador universal

En lógica matemática en cuantificador universal es un símbolo

que hace referencia a un “todo” no a ningún elemento en
particular ni en especifico se usa el símbolo ∀ denominado
cuantificador universal, ante puesto a una variable para decir
que "para todo" elemento de un cierto conjunto se cumple la
proposición dada.
Un ejemplo de lo anterior

El cuantificador universal indica que algo es cierto para

todos los individuos

Ejemplo: Expresar “todos los peces tienen agallas” en

cálculo de predicados. Solución:
Hallar primero el ámbito del cuantificador universal, que
es “Si x es un pez, entonces x tiene agallas” y se define
como Gx ↔ x es un pez Cx ↔ x tiene agallas (∀x) Gx →
Cx
Cuantificador universal afirmativo

Las frases que comúnmente se usan para denotar el

cuantificador universal afirmativo son:
Todos x - todo x
Para cada x
Cada x
Cada uno x
Siempre que x
Cualquiera x
Para todo x
Si se quiere representar por ejemplo la
explicación: "todas las personas tienen una
ilusión". para este caso se identifica el
predicado "tienen una ilusión", entonces p
(x) significa que x tiene una ilusión. La
palabra "todas las personas" indica que
esto se aplica para todos los x. Se formaliza:
∀xp (x)
Ejemplo

EJEMPLO: Todos los Boligrafos tienen tinta y tapa ∀x

(boligrafo (x) →tiene tinta (x) ^ tiene tapa (x))

Todos los Boyacenses son Colombianos para todo

x, si x es Boyacense, entonces x es Colombiano
Bibliografia
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=1529
510366591 Cuantificador universal. (2017, 8 de mayo)

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