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.

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] Véase también

• cuantificador existencial
• lógica de primer orden

El contenido de esta página es un esbozo sobre lógica matemática. Ampliándolo ayudarás a mejorar Wikipedia. Puedes ayudarte con las wikipedias en otras lenguas.