Modus ponens en modus Tollens, (Latijn: “methode van bevestiging” en “methode van ontkennen”) in propositionele logica, twee soorten gevolgtrekking die kunnen worden getrokken uit een hypothetische propositie—dat wil zeggen, uit een propositie van de vorm” als A, Dan B “(symbolisch A ⊃ B, waarin ⊃ betekent ” als . . . dan”). Modus ponens verwijst naar gevolgtrekkingen van de vorm A B B; A, daarom B. Modus tollens verwijst naar gevolgtrekkingen van de vorm A B B; ∼B, daarom, ∼A (∼ betekent “niet”)., Een voorbeeld van modus tollens is het volgende:

als een hoek is ingeschreven in een halve cirkel, dan is het een rechte hoek; deze hoek is geen rechte hoek; daarom is deze hoek niet ingeschreven in een halve cirkel.

voor disjunctieve premissen (gebruikmakend van ∨, wat betekent “ofwel . . . of”), de termen modus tollendo ponens en modus ponendo Tollens worden gebruikt voor argumenten van de vormen A B B; ∼A, dus b, en A B B; A, dus ∼B (alleen geldig voor exclusieve disjunctie: “ofwel A of B, maar niet beide”). De regel van modus ponens is opgenomen in vrijwel elk formeel systeem van logica.