# Use abstraction to sort through the riff-raff

If/then statements can be replaced with $p\rightarrow q$ (read: “p implies q”).  Such a statement is equivalent to its contrapositive ($\sim q\rightarrow \sim p$, read: “not q implies not p”).  Abstracting the statements by replacing them with variables makes it easier to quickly identify the contrapositive among the statements.