Modus ponens, lambda ja modus tollensin, (latinaksi: ”tapa, vahvistaa” ja ”menetelmä kieltää”) vuonna lauselogiikka logiikka, kaksi päättely voidaan tehdä hypoteettinen ehdotus—toisin sanoen, mistä lause muotoa ”Jos A, niin B” (symbolisesti A ⊃ B, jossa ⊃ merkitsee ”Jos . . . sitten”). Modus ponens, lambda viittaa päätelmiä muodossa A ⊃ B; A, siis B. Modus tollensin viittaa päätelmiä muodossa A ⊃ B; ∼B, siis a ∼A (∼ tarkoittaa ”ei”)., Esimerkki modus tollensin on seuraava:

Jos kulma on merkitty puoliympyrän, sitten se on oikeassa kulmassa; tämä kulma ei ole oikea kulma; siksi, tämä kulma ei ole piirretyn puoliympyrän.

disjunktiivisten tilojen (työllistävät∨, mikä merkitsee ” joko . . . tai”), ehdot modus tollendo ponens, lambda ja modus ponendo tollensin käytetään väitteet muodostaa ∨ B, a ∼A, joten B ja A ∨ B; A, joten a ∼B (voimassa vain yksinomainen ristiriita: ”Joko A tai B muttei molemmat”). Modus ponensin sääntö on sisällytetty lähes jokaiseen logiikan muodolliseen järjestelmään.