Cuantificador universal
De Wikipedia, la enciclopedia libre
En lógica matemática, se usa 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 a continuación. En texto se puede representar con el carácter ∀.
Normalmente, en lógica, el conjunto al que se refiere es el universo o dominio de referencia, en el cual aparecen todas las constantes.
[editar] Ejemplo
Si tenemos dos conjuntos A y B; y A es un subconjunto de B:
Todo elemento x de A pertenece a B:
Al ser A y B conjuntos distintos, no todos los elementos y de B pertenecen a A:
Que podemos leer: no para todos los elementos y de B, implica que y pertenece a A.
[editar] Relación cuantificador universal y el cuantificador existencial
Dada una expresión P(x), según el cuantificador universal se puede transformar en otra equivalente con el cuantificador existencial:
que podriamos leer: si para todo x se cumple P(x) no existe un x que no cumpla P(x).
Según el ejemplo anterior:
Para todo x que pertenece a A implica que x pertenece a B, que podemos expresar:
No existe un x de A y que x no este en a B.
