Podemos, sin embargo considerar casos en los que formula_2 no es la simple negación de formula_1.