... negate sufficient "or" rule with the arrows you can arrive ... each step in the proof starting with the original statement) the following ... forget that you switch "and" with "or" when getting the ... contrapositive).
Hmm @Q.E.D Doesn't P---> ...