Lógica de primer orden/Cuantificador universal

El cuantificador universal se representa con el símbolo $\mathrm{\forall }$ e indica todos los elementos del grupo representados por una variable (por ejemplo $x$) poseen la propiedad indicada. Por ejemplo, la expresión:

$\mathrm{\forall }x(x>3)$

nos dice que todos los elementos representados por la variable ${\displaystyle }$ cumplen la propiedad de ser mayores al número natural 3.

Véase también

• Cuantificador existencial
• Lógica de primer orden