Original: In classical logic, modus tollens (or modus tollendo tollens) Sanford, David Hawley.
Simplified: References