Русская Википедия:Modus tollens

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

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

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

Примечания

Шаблон:Примечания

См. также

Шаблон:Нет ссылок Шаблон:Math-stub

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