WikiSort.ru - Не сортированное

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

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

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

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

Примечания

См. также

• Modus ponens
• Латинские логические выражения
• Дедуктивное умозаключение

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 7 июля 2014 года.