Modus ponens and modus tollens, (Latin: “megerősítési módszer” és “megtagadási módszer”) a propositional logikában kétféle következtetés vonható le egy hipotetikus javaslatból—azaz az “ha A, akkor B” (szimbolikusan A ⊃ B, amelyben ⊃ azt jelenti, hogy “ha . . . akkor”). A Modus ponens az A ⊃ B forma következtetéseire utal; A, ezért B. Modus tollens az A ⊃ B forma következtetéseire utal; ∼B, ezért ∼a (∼”nem”)., A modus tollens egyik példája a következő:

Ha egy szög félkörbe van írva, akkor derékszög; ez a szög nem derékszög; ezért ez a szög nem félkörben van feltüntetve.

diszjunktív helyiségek (foglalkoztató ∨, ami azt jelenti, ” bármelyik . . . vagy”), a modus tollendo ponens és a modus ponendo tollens kifejezéseket az A ∨ B; ∼A, tehát B, és a ∨ B; A, ezért ∼B (csak kizárólagos diszjunkcióra érvényes: “A vagy B, de nem mindkettő”). A modus ponens szabálya gyakorlatilag minden formális logikai rendszerbe beépül.