Modus tollens

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

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

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

См. также

• Modus ponens
• Латинские логические выражения
• Дедуктивное умозаключение