Разница между модусами ponens и tollens при анализе дедуктивных выводов заключается в следующем:
- Modus ponens — это форма дедуктивного рассуждения, при которой утверждается антецедент условного высказывания, а затем утверждается его следствие. mindthegraph.com Например: «Если идёт дождь, то улицы мокрые. Идёт дождь. Следовательно, улицы мокрые». mindthegraph.com
- Modus tollens — это форма дедуктивного рассуждения, при которой сначала отрицается антецедент, а затем опровергается следствие условного утверждения. mindthegraph.com Например: «Если идёт дождь, то улицы мокрые. Улицы не мокрые. Следовательно, дождя нет». mindthegraph.com
Таким образом, модус ponens выводит следствие из антецедента, а модус tollens — отрицание антецедента из отрицания следствия. {6-host}