Отличие modus ponens от modus tollens заключается в том, как происходит процесс рассуждения. 13

Modus ponens (модус поненс) позволяет от утверждения условного высказывания и утверждения его основания перейти к утверждению следствия этого высказывания. 34 Этот тип умозаключения называют также конструктивным, потому что в нём получается утвердительное заключение. 1 Пример: «Если дождь идёт, то почва мокрая. Дождь идёт. Следовательно, почва мокрая». 1

Modus tollens (модус толленс) предполагает переход от утверждения условного высказывания и отрицания его следствия к отрицанию основания. 34 Такой тип умозаключения называют деструктивным, потому что в нём получается отрицательное заключение. 1 Пример: «Если дождь идёт, то почва мокрая. Но почва не мокрая. Следовательно, дождь не идёт». 1

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