Modus ponens och modus tollens, (Latin: ”metod för att bekräfta” och ”metod för att förneka”) uttrycker propositionella i logik, två typer av slutsatser som kan dras från ett hypotetiskt förslag—dvs, från en proposition av formen ”Om A, så B” (symboliskt En ⊃ B, i vilken ⊃ betyder ”Om . . . sedan”). Modus ponens hänvisar till slutsatser av form A B; A, därför B. Modus tollens hänvisar till slutsatser av form A B; B, därför, trip a (betyder ”inte”)., Ett exempel på modus tollens är följande:

om en vinkel är inskriven i en halvcirkel är den en rät vinkel; denna vinkel är inte en rät vinkel; därför är denna vinkel inte inskriven i en halvcirkel.

för disjunctive lokaler (sysselsättning, vilket betyder ”antingen . . . eller”), termerna Modus tollendo ponens och modus ponendo tollens används för argument av formulären A B; A, därför B och A B; a, därför b (gäller endast för exklusiv disjunction: ”antingen A eller B men inte båda”). Regeln modus ponens ingår i praktiskt taget alla formella system av logik.