La negación de formula_4 se escribe formula_9.