Ejercicio 1.Definición Cuantificador Universal Afirmativo.

Basada en el libro de Lógica matemática para ingeniería de sistemas y computación de

Sergio Augusto Cardona Torres, y partiendo del concepto que el cuantificador universal
hace referencia a que todos los elementos del conjunto cumplen con una proposición o
condición verdadera, siendo su símbolo ∀ que indica que la expresión es para todos x
una variable y A una expresión, así pues que el cuantificador universal afirmativo,
presenta frases que se usan para denotar la referencia del cuantificador afirmativo entre
ellas tenemos a:

 Todo x - Todo x
 Para cada x
 Cada x
 Cada uno x
 Siempre que x
 Cualquiera x
 Para todo x
Para ampliar la definición veremos unos ejemplos:

1. La expresión “ Todos los niños son felices”

Para todo x , si es niño, entonces x es feliz

∀x( niños (x) felices(x))

∀x P(x)

2. La expresión “Todos los Colombianos son Latinos”.

Cx: Colombianos
Lx: Latinos

∀x( Colombiano (x) Latino (x))

∀x ( Cx L(x)
 Referencia bibliográfica

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

(pp. 9-28 - 106 - 112). Ediciones Elizcom, Madrid

Rodríguez, V. R. (2013). Conjuntos numéricos, estructuras algebraicas y fundamentos de

álgebra lineal. Volumen I: conjuntos numéricos, complementos. (pp. 19-28). Madrid,
España: Editorial Tébar Flores. Recuperado