Modus ponens und modus tollens (lateinisch: „Methode der Bestätigung“ und „Methode der Leugnung“) In der Propositionslogik zwei Arten von Schlussfolgerungen, die aus einem hypothetischen Satz gezogen werden können-dh aus einem Satz der Form “ Wenn A, dann B „(symbolisch A ⊃ B, in dem ⊃ bedeutet „Wenn . . . dann”). Modus tollens bezieht sich auf Rückschlüsse der Form A ⊃ B; A, daher B. Modus tollens bezieht sich auf Rückschlüsse der Form A ⊃ B; ∼B bedeutet daher ∼A (∼ bedeutet „nicht“)., Ein Beispiel für modus tollens ist das Folgende:

Wenn ein Winkel in einen Halbkreis eingeschrieben ist, dann ist es ein rechter Winkel; dieser Winkel ist kein rechter Winkel; Daher ist dieser Winkel nicht in einen Halbkreis eingeschrieben.

Für disjunktive Räumlichkeiten (mit ∨, was bedeutet “ entweder . . . oder“), die Begriffe modus tollendo ponens und modus ponendo tollens werden für Argumente der Formen A ∨ B verwendet; ∼A, daher B und A ∨ B; A, daher ∼B (gültig nur für die ausschließliche Disjunktion: „Entweder A oder B, aber nicht beide“). Die Regel von modus ponens ist in praktisch jedes formale Logiksystem integriert.