A modus ponens, más néven a leválasztás szabálya a matematikában egy egyszerű bizonyítási módszer. Ennek alkalmazásával már bizonyított állításokból és tételekből következtethetünk újabb kijelentések igazságtartalmára.
A szabály Legyen Γ valamely ítéletek összessége, pedig ebből levezethető állítás. Ekkor ha is levezethető (azaz igaz), akkor szintén levezethető állítás.
Bizonyítás Legyen az levezetése az sorozat, ahol minden egyes tag vagy axióma, vagy pedig következtetés. Hasonlóan az levezetése a . Ekkor levezetése az , mivel .
Források
Kategória:Matematikai bizonyítások