WikiDer > Modus ponens
Modus Ponendo Ponens (Latein: weise wer durch Behauptung (Bestätigung) [etwas] behauptet (bestätigt), Poser→"(legen) nach unten"), kurz Modus ponens (manchmal abgekürzt mit MP), ist ein gültig Aussagenargument mit zwei Lokal, von denen die erste eine bedingte Anweisung ist:
- Wenn P, dann Q.
- s.
- Also Q.
oder in logische Operatornotation:
- P → Q
- p
- Q
Das Argument hat zwei Prämissen. Die erste ist die "Wenn-Dann"- oder bedingte Aussage, nämlich dass P Q impliziert. Die zweite Prämisse ist, dass P, die Vorgänger von dem Syllogismus, wo ist. Aus diesen beiden Prämissen leiten Sie ab, dass Q, der konsequent der ersten Prämisse wahr ist.
Ein Beispiel für einen Syllogismus in Form eines Modus Ponens ist:
- Wenn Demokratie die beste Staatsform ist, sollten alle wählen.
- Demokratie ist die beste Staatsform.
- Jeder soll abstimmen.
Die Tatsache, dass das Argument gültig ist, garantiert uns nicht, dass die verwendeten Aussagen wahr sind. Das Gültigkeit des Modus Ponens sagt uns nur, dass die Konklusion wahr sein muss, wenn alle Prämissen wahr sind.