Cuantificador universal

En lógica, se usa el símbolo , denominado cuantificador universal,[1] 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.

Ejemplo

Conjuntos 04.svg

Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

Todo elemento x de A pertenece a B:

Al ser A y B conjuntos diferentes como indica el diagrama, podemos decir que no todos los elementos y de B pertenecen a A, siendo esto una garantía suficiente para que dos conjuntos cualesquiera puedan ser diferentes:

Es decir: no para todo elemento y de B se cumple que y también pertenezca a A.

Other Languages