As the author admits, this isn't how logic works. Next time, use the Law of Contrapositives, which at least works when the Law of Excluded Middle is assumed. S

As the author admits, this isn't how logic works. Next time, use the Law of Contrapositives, which at least works when the Law of Excluded Middle is assumed. Suppose, for example, I object to cats; I might say, "If cats are in the house, then they will bring me mice as tribute." The contrapositive is, "If I am not being brought mice as tribute, then there are not cats in the house." Plural logic aside, this is pretty close! And now we can turn it into a goal: "If I want mice to exist in my house in non-dead states, then I should avoid cats." Now we've managed to refactor this into a goal: "I should get cats if I want fewer mice." I'm not sure if anything was gained from this exercise.