Modus tollens

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

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

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

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

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

Это заготовка статьи по математике. Помогите Википедии, дополнив её.