Se define una fórmula formula_6 si es lógicamente equivalente a una fórmula de la forma formula_7 donde formula_4 es formula_9.