Modus tollens

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

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

Форма записи: .

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

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