Por ejemplo, el enunciado formula_1 no es ni verdadero ni falso.