Modus tollens

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

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

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

См. также

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