Modus Tollendo Tollens/Linguistic Note

From ProofWiki
Jump to navigation Jump to search

Proof Rule

Modus Tollendo Tollens is Latin for mode that by denying, denies.

The shorter form Modus Tollens means mode that denies.