Modus tollens

Это заготовка статьи по математике. Вы можете помочь проекту, дополнив её.

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

Форма записи: ${\frac {P\to Q~,~~\neg Q}{\neg P}}$ .

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

ПримечанияПравить

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

См. такжеПравить

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

[1]