Modus ponens og modus tollens, (Latin: “metode til at bekræfte” og “metode til at nægte”) i propositionelle logik, to former for slutninger, der kan drages fra en hypotetisk sætning—altså, fra et udsagn af formen “Hvis A, så B” (symbolsk En ⊃ B, i, som ⊃ betyder “Hvis . . . derefter”). Modus ponens henviser til slutninger af formen A B B; A, derfor B. Modus tollens henviser til slutninger af formen A B B; therefore B, derfor, A a (sign betyder “ikke”)., Et eksempel på en modus tollens er følgende:

Hvis en vinkel er indskrevet i en halvcirkel, så er det en ret vinkel; denne vinkel er ikke en ret vinkel; derfor, denne vinkel er ikke indskrevet i en halvcirkel.

for disjunktive lokaler (beskæftiger ∨, hvilket betyder “enten . . . eller”), vilkår modus tollendo ponens og modus tollens ponendo bruges til argumenter danner En ∨ B ∼A, derfor har B, og A ∨ B; A, derfor ∼B (gælder kun for eksklusiv disjunktion: “Enten A eller B, men ikke begge”). Reglen om modus ponens er indarbejdet i stort set alle formelle system af logik.