Para decirnos cuándo una declaración es verdad, necesitamos los cuantificadores.