Modus tollens
Текущая версия страницы пока не проверялась опытными участниками и может значительно отличаться от версии, проверенной 7 июля 2023 года; проверки требует 1 правка.
Modus tollens — рассуждение от противного (латинское «modus tollendo tollens» означает «путь исключения исключением»).
Форма записи: .
Например, — «монета золотая», — «монета несминаема зубами»[1], тогда modus tollens позволяет из свойства: «золотые монеты несминаемы зубами» сделать вывод, что если монета сминаема зубами (), то она не золотая ().
Примечания[править | править код]
- ↑ Реальные золотые монеты изготавливались из сплава с медью, что обеспечивало их твёрдость и малый износ. Сминание указывало на подделку с применением свинца, см. What does biting a coin prove? // John Lloyd, John Mitchinson. QI: The Second Book of General Ignorance. Faber & Faber, 2010. С. 73. (англ.)
См. также[править | править код]
![]() | В статье не хватает ссылок на источники (см. рекомендации по поиску). |
Это заготовка статьи по математике. Помогите Википедии, дополнив её. |