Modus tollens

Modus tollens — рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключением»).

Форма записи: ${\displaystyle {\frac {P\to Q~,~~\neg Q}{\neg P}}}$.

Например, ${\displaystyle P}$ — «золотая монета», ${\displaystyle Q}$ — «несминаема зубами»[1], тогда modus tollens позволяет из свойства: «золотые монеты несминаемы зубами» сделать вывод, что если монета сминаема зубами, то она не золотая.