Modus tollendo tollens


THEOREM (Modus tollendo tollens)    \(P \Rightarrow Q,\ \neg Q \vdash \neg P\)

Proof available