Operadores unarios son well-formed formulas cuandoquiera que B(formula_4) es bien formado.