Разница между модусами ponens и tollens при анализе дедуктивных выводов заключается в следующем:

1. Modus ponens — это форма дедуктивного рассуждения, при которой утверждается антецедент условного высказывания, а затем утверждается его следствие. 1 Например: «Если идёт дождь, то улицы мокрые. Идёт дождь. Следовательно, улицы мокрые». 1
2. Modus tollens — это форма дедуктивного рассуждения, при которой сначала отрицается антецедент, а затем опровергается следствие условного утверждения. 1 Например: «Если идёт дождь, то улицы мокрые. Улицы не мокрые. Следовательно, дождя нет». 1

Таким образом, модус ponens выводит следствие из антецедента, а модус tollens — отрицание антецедента из отрицания следствия. 6