What is 'Modus Tollens' also known as?
Double negation
Denying the consequent
Affirming the antecedent
Chain rule