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

Форма записи: .

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

Примечания

править
  1. Реальные золотые монеты изготавливались из сплава с медью, что обеспечивало их твёрдость и малый износ. Сминание указывало на подделку с применением свинца, см. What does biting a coin prove? // John Lloyd, John Mitchinson. QI: The Second Book of General Ignorance. Faber & Faber, 2010. С. 73. (англ.)

См. также

править