El símbolo formula_27 se llama cuantificador existencial.