Modus tollens

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

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

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

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

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