Modus tollens — рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключением»).
Форма записи: .
Например, — «монета золотая», — «монета несминаема зубами»[1], тогда modus tollens позволяет из свойства: «золотые монеты несминаемы зубами» сделать вывод, что если монета сминаема зубами (), то она не золотая ().