Note que si formula_1 es verdadera y nos es informado de que "Q" es falsa, formula_7, puede ser lógicamente inferido que "P" debe ser falso, formula_8.