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