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

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

Таким образом, modus ponens утверждает следствие, а modus tollens — отрицает основание. 24