Modus ponens e modus tollens, (do latim: “método de afirmar a” e “método de negar”) na lógica proposicional, dois tipos de inferência que pode ser elaborado a partir de uma proposição hipotética—i.é., a partir de uma proposição da forma “Se A, então B” (simbolicamente Um ⊃ B, em que a ⊃ significa “Se”. . . entao”). Modus ponens refere-se a inferências de forma a ⊃ B; A, portanto B. Modus tollens refere-se a inferências de forma a ⊃ B; ∼B, portanto, ∼A (∼ significa “não”)., Um exemplo do modus tollens é o seguinte:

Se um ângulo inscrito em um semicírculo, em seguida, ele é um ângulo reto; este ângulo não é um ângulo reto; portanto, este ângulo não está inscrito em um semicírculo.

para instalações disjuntivas (empregando ∨, que significa “qualquer um . . . ou”), os termos modus tollendo ponens e modus ponendo tollens são utilizados para argumentos dos formulários A ∨ B; ∼A, portanto, B, e Um ∨ B; A, portanto ∼B (válido somente para disjunção exclusiva: “A ou B, mas não ambos”). A regra de modus ponens é incorporada em praticamente todos os sistemas formais de lógica.