CUANTIFICADORES.- ∀x, 2x+3x = 5x Se lee “Para todo número x se cumple que 2x+3x=5x”.
∃x, 2x+2 = 4 Se lee “Existe al menos un número x, para el cual 2x+2=4” Como el lector podrá apreciar, estas dos expresiones sí pueden ser calificadas como verdaderas o falsas, lo cual las convierte en proposiciones de acuerdo a la definición 1.1. Vemos que en el caso de una expresión abierta con cuantificadores, se sugiere o se supone algún conjunto referencial, del cual se obtienen los valores posibles de la variable.