Si "x" es un elemento de formula_1, entonces φ está definido por