Modus tollens
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. (англ.)
См. такжеПравить
В статье не хватает ссылок на источники (см. также рекомендации по поиску). |
Это «статья-заготовка» по математике. Вы можете помочь проекту, дополнив эту статью, как и любую другую в Википедии. Нажмите и узнайте подробности. |