4 ms·Contrapositive is the fancy word for that technique. A -> B iff not(B) -> not(A)by Tyr42 10y agoContrapositive is the fancy word for that technique. A -> B iff not(B) -> not(A)