Modus ponens a modus tollens, (latinsky: „metoda tvrdit“ a „způsob popírání“) ve výrokové logiky, dva typy závěr, který lze vyvodit z hypotetické tvrzení—tj. z tvrzení tvaru „Jestliže A, pak B“ (symbolicky A ⊃ B, ve které ⊃ znamená „Pokud . . . pak”). Modus ponens odkazuje na závěry formy A ⊃ B; A, proto B. Modus tollens odkazuje na závěry formy A ⊃ B; B B, proto ∼a (∼ znamená „ne“)., Příklad modus tollens je následující:

Pokud je úhel vepsaný do půlkruhu, pak je to pravý úhel, tento úhel je pravý úhel; tudíž, tento úhel není vepsaný do půlkruhu.

pro disjunktivní prostory (zaměstnávající ∨, což znamená “ buď . . . nebo“), podmínky modus tollendo ponens a modus ponendo tollens jsou použity pro argumenty z formy A ∨ B; ∼A, tedy B, a ∨ B, A, proto ∼B (platí pouze pro exkluzivní disjunkce: „Buď A nebo B, ale ne obojí“). Pravidlo modus ponens je začleněno do prakticky každého formálního systému logiky.