CUANTIFICADOR UNIVERSAL AFIRMATIVO

¿QUE SON LOS CUANTIFICADORES?

Cuando se habla de cuantificadores en términos de Lógica, se hace referencia a

aquellos símbolos que se utilizan para indicar cantidad en una proposición, es decir
permiten establecer “cuántos” elementos de un conjunto determinado, cumplen con
cierta propiedad.

CUANTIFICADOR UNIVERSAL ∀ ¿

Se utiliza para afirmar que TODOS los elementos de un conjunto, cumplen con una
condición o propiedad determinada. Esto se expresa como:

( ∀ x ∈ A ) p ( x ) o ∀ x ∈ A : p ( x ) o bien A={ x ∈ a|P(x ) }

CUANTIFICADOR UNIVERSAL AFIRMATIVO

Las frases que 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 todos x

Ejemplo 1: “TODOS LOS GATOS TIENEN COLA”

Solución:

Primero se halla 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

Ejemplo 2: “TODO ESTUDIANTE DE INGENIERIA HA ESTUDIADO CÁLCULO”

Solución:
P ( x ) : x es estudiante de la ingenier í a
Q ( x ) : x ha estudiado cálculo
∀ x¿
 REFERENCIA BIBLIOGRAFICA

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

computación. (pp. 106 - 112). Ediciones Elizcom, Madrid.