cuantificadores
Son los operadores lógicos que permiten cuantificar las variables, es decir, explicitar significaciones tales como "para todo múltiple se tiene esto o aquello", o "existe un múltiple tal que esto o aquello".
El cuantificador universal se escribe: ∀. La fórmula:
(∀ α) λ se lee: "para todo α, se tiene λ".
El cuantificador existencial se anota ∃. La fórmula (∃α) λ se lee: "existe α tal que λ"
