Lógica de primer orden/Cuantificador universal
Apariencia
El cuantificador universal se representa con el símbolo e indica todos los elementos del grupo representados por una variable (por ejemplo ) poseen la propiedad indicada. Por ejemplo, la expresión:
nos dice que todos los elementos representados por la variable cumplen la propiedad de ser mayores al número natural 3.