Una función computable formula_2 se llama predicado computable si es una función con valor booleano, es decir: