En los casos en los que no se especifica formula_2 de manera explícita, podemos considerar que ha quedado definida implícitamente como “formula_1 es falsa”.