Modus ponens y modus tollens, (latín: «método de afirmación» y «método de negación») en lógica proposicional, dos tipos de inferencia que se pueden extraer de una proposición hipotética—es decir, de una proposición de la forma «Si A, entonces B» (simbólicamente A B B, en la que Sign significa «si . . . entonces”). Modus ponens se refiere a inferencias de la forma A B B; A, por lo tanto B. Modus tollens se refiere a inferencias de la forma A A B; ∼B, por lo tanto, ∼a (sign significa «no»)., Un ejemplo de modus tollens es el siguiente:

Si un ángulo inscrito en un semicírculo, entonces es un ángulo recto; este ángulo no es un ángulo recto; por lo tanto, este ángulo no está inscrito en un semicírculo.

para premisas disyuntivas (empleando ∨, que significa » cualquiera . . . o»), los Términos modus tollendo ponens y modus ponendo tollens se utilizan para argumentos de las formas A B B ;therefore a, por lo tanto B, Y A A B; A, por lo tanto B B (válido solo para disyunción exclusiva: «A O B pero no ambos»). La regla del modus ponens está incorporada en prácticamente todos los sistemas formales de lógica.