Modus ponens e modus tollens, (latino: “metodo di affermazione” e “metodo di negazione”) nella logica proposizionale, due tipi di inferenza che possono essere tratte da una proposizione ipotetica—cioè da una proposizione della forma “Se A, allora B” (simbolicamente A B B, in cui sign significa “Se . . . poi”). Modus ponens si riferisce alle inferenze della forma A B B; A, quindi B. Modus tollens si riferisce alle inferenze della forma A B B; B B, quindi, A A (sign significa “non”)., Un esempio di modus tollens è il seguente:

Se un angolo è inscritto in un semicerchio, allora è un angolo retto; questo angolo non è un angolo retto; quindi, questo angolo non è inscritto in un semicerchio.

Per locali disgiuntivi (impiegando ∨, che significa ” o . . . o”), i termini modus tollendo ponens e modus ponendo tollens sono usati per argomenti delle forme A B B ;A A, quindi B, e A B B; A, quindi B B (valido solo per la disgiunzione esclusiva: “A o B ma non entrambi”). La regola del modus ponens è incorporata praticamente in ogni sistema formale di logica.