Modus Tollendo Tollens/Linguistic Note

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

The shorter form Modus Tollens means mode that denies.