Se usa el símbolo formula_1 llamado cuantificador universal, para reemplazar la frase "para todo", dicho símbolo expresará que la proposición debe ser verdadera para todos los valores de la variable: