Modus tollens — рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключением»).
Форма записи: .
Например, — «монета золотая», — «монета несминаема зубами»Реальные золотые монеты изготавливались из сплава с медью, что обеспечивало их твёрдость и малый износ. Сминание указывало на подделку с применением свинца, см. What does biting a coin prove? // John Lloyd, John Mitchinson. QI: The Second Book of General Ignorance. Faber & Faber, 2010. С. 73., тогда modus tollens позволяет из свойства: «золотые монеты несминаемы зубами» сделать вывод, что если монета сминаема зубами (), то она не золотая ().
Примечания
См. также Modus ponens Закон контрапозиции Латинские логические выражения Дедуктивное умозаключение
Категория:Логика Категория:Латинские фразы и выражения