Modus ponens et Modus tollens, en logique propositionnelle, deux types d’inférence qui peuvent être tirés d’une proposition hypothétique—c’est-à-dire d’une proposition de la forme « si A, alors B” (symboliquement A B B, dans lequel ⊃ signifie « Si . . . puis”). Modus ponens fait référence aux inférences de la forme A B B; A, donc B. Modus tollens fait référence aux inférences de la forme A B B; ∼B, par conséquent, ∼A (∼ signifie « non”)., Un exemple de modus tollens est le suivant:

Si un angle inscrit dans un demi-cercle, puis c’est un angle droit; cet angle n’est pas un angle droit; par conséquent, cet angle n’est pas inscrit dans un demi-cercle.

pour les prémisses disjonctives (employant ∨, qui signifie « soit . . . ou »), les Termes modus tollendo ponens et modus ponendo tollens sont utilisés pour les arguments des Formes A B B; A A, donc B, et A B B; A, donc B B (valable uniquement pour la disjonction exclusive: « A ou B mais pas les deux”). La règle du modus ponens est incorporée dans pratiquement tous les systèmes formels de logique.