Es decir, si formula_1 implica formula_2; y formula_2 no es verdadera; entonces formula_1 tampoco es verdadera.