Modus tollens

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

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

Например, P — «золотая монета», Q — «несминаема зубами», тогда modus tollens: «если монета сминаема зубами, то она не золотая» или «среди всех объектов, сминаемых зубами, золотых монет нет».

См. также[править | править вики-текст]