Modus tollens — правило логического вывода, согласно которому если условное утверждение истинно, а его consequent ложно, то его antecedent должен быть ложным. В символической форме: если P implies Q и Q ложно, то P ложно.
In propositional logic, modus tollens is a valid argument form and a rule of inference. It is an application of the general truth that if a statement is true, then so is its contrapositive. The inference rule modus tollens asserts that the inference from P implies Q to the negation of Q implies the negation of P is valid.