Logic

Question 1

Was ist der Modus ponens?

Answer 1

Der Modus ponens ist eine Schlussfigur, die aus zwei Aussagen der Form Wenn A, dann B und A (den beiden Prämissen der Schlussfigur) eine Aussage der Form B (die Konklusion der Schlussfigur) herzuleiten erlaubt.

Die eigentliche Bezeichnung für den Modus ponens ist – in Abgrenzung zum Modus tollendo ponens – Modus ponendo ponens. Synonym werden unter anderem die Ausdrücke Abtrennungsregel oder Implikationsbeseitigung verwandt.

Abgekürzt wird die Schlussregel vielfach mit MP beziehungsweise MPP.

Aus den Prämissen

A to B
und

A
folgt die Conclusio

B
Beispiel:

Aus den Voraussetzungen „Wenn es regnet, wird die Straße nass“ und „Es regnet“ folgt logisch: „Die Straße wird nass“.