Modus ponens și modus tollens, (în latină: „metoda de afirmare” și „metoda de a nega”) în logica propozitiilor, două tipuri de inferențe care pot fi trase dintr-o propoziție ipotetic—de exemplu, de la o propoziție de forma „Dacă a, atunci B” (simbolic O ⊃ B, în care ⊃ semnifică „Dacă . . . apoi”). Modus ponens se referă la inferențele formei A ⊃ B; A, prin urmare B. Modus tollens se referă la inferențele formei A ⊃ B; ∼B, prin urmare, ∼a (∼ înseamnă „nu”)., Un exemplu de modus tollens este următorul:

dacă un unghi este înscris într-un semicerc, atunci este un unghi drept; acest unghi nu este un unghi drept; prin urmare, acest unghi nu este înscris într-un semicerc.

pentru spații disjunctive (angajarea∨, care înseamnă ” fie . . . sau”), termenii modus tollendo ponens și modus ponendo tollens sunt folosite pentru argumentele formează Un ∨ B; ∼A, prin urmare, B, și Un ∨ B; A, prin urmare ∼B (valabil doar pentru disjuncției exclusive: „a sau B, dar nu ambele”). Regula lui Modus ponens este încorporată în aproape fiecare sistem formal de logică.