Cuantificadores Universales

El cuantificador universal indica que algo es cierto para todos los individuos

Sea A una expresin y sea x una variable. Si deseamos indicar que A

es verdadero para todos los posibles valores de x, escribiremos (x) A.
(x) es cuantificador universal
A es el mbito (alcance) del cuantificador.
El smbolo se lee para todo.
En consecuencia:
x A : p (x) es verdadero si y slo si p (x) se cumple para todos los x
A.
x A : p (x) es falso si y slo si existe al menos un elemento de A
para el cual p(x) no se cumple.
EJEMPLO:
Expresar todos los gatos tienen cola.
Solucin:
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
Cuantificador Existencial
Si p(x) se cumple slo para algunos elementos de un conjunto de
referencia A .
Esto es si p(x) no se cumple para todos los elementos de A , slo se
cumple
para algunos, escribimos
x A : p(x)
Donde se lee existe, o para algn o hay y se denomina
cuantificador existencial.
Se tiene en consecuencia :
x A : p (x) es verdadero si y slo si existe a lo menos un elemento
de A
para el cual p (x) se cumple.

 x A : p (x) es falso si y slo no existe ningn elemento de A para el

cual
p (x) se cumpla.
EJEMPLO:
Se desea formalizar la expresin: Algunos estudiantes de informtica
han estudiado programacin.
Sea P(x) = x ha estudiado programacin.
Donde x = Alumno de informtica.
Entonces se puede expresar como: x P(x) que se lee: Existen
algunos alumnos de Informtica que han estudiado programacin.