| Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende ÜberarbeitungLetzte ÜberarbeitungBeide Seiten der Revision |
| logik:schlussformen:modus_ponens [09.04.23, 15:10:26] – Externe Bearbeitung 127.0.0.1 | logik:schlussformen:modus_ponens [06.05.23, 16:39:27] – ↷ Links angepasst, weil Seiten im Wiki verschoben wurden sascha |
|---|
| ====== Modus Ponens ====== | ====== Modus Ponens ====== |
| |
| Auch abgekürzt <abbr :la "Modus Ponens">MP</abbr> oder <abbr :la "Modus Ponendo Ponens">MPP</abbr>, ist einer der elementarsten (gültigen) logischen Schlüsse. Er basiert auf einer [[begriffe:subjunktion|Subjunktion]] sowie einer //Affirmation// deren [[begriffe:antezedenz|Antezedenz]]. | Auch abgekürzt <abbr :la "Modus Ponens">MP</abbr> oder <abbr :la "Modus Ponendo Ponens">MPP</abbr>, ist einer der elementarsten (gültigen) logischen Schlüsse. Er basiert auf einer [[begriffe:konditional|Subjunktion]] sowie einer //Affirmation// deren [[begriffe:antezedenz|Antezedenz]]. |
| |
| > <span [style=display:inline-block;width:3.5em] "Wenn A, dann B">''A → B''</span> – //wenn// A, //dann// B | > <span [style=display:inline-block;width:3.5em] "Wenn A, dann B">''A → B''</span> – //wenn// A, //dann// B |
| |
| | ^ //Modus ponens// \\ (gültiger Schluss) ^ ^ [[logik:fehlschluesse:affirmation_der_konsequenz|Affirmation der Konsequenz]] \\ (Fehlschluss) ^ [[logik:fehlschluesse:negation_der_antezedenz|Negation der Antezedenz]] \\ (Fehlschluss) ^ | | ^ //Modus ponens// \\ (gültiger Schluss) ^ ^ [[logik:fehlschluesse:affirmation_der_konsequenz|Affirmation der Konsequenz]] \\ (Fehlschluss) ^ [[logik:fehlschluesse:negation_der_antezedenz|Negation der Antezedenz]] \\ (Fehlschluss) ^ |
| ^Prämisse 1 | <span "Wenn A, dann B">A → B</span> | | <span "Wenn A, dann B">A → B</span> | <span "Wenn A, dann B">A → B</span> | | ^Prämisse 1 | <span "Wenn A, dann B">A ⟶ B</span> \\ <small>(Wenn A, dann B)</small> | | <span "Wenn A, dann B">A ⟶ B</span> \\ <small>(Wenn A, dann B)</small> | <span "Wenn A, dann B">A ⟶ B</span> \\ <small>(Wenn A, dann B)</small> | |
| ^Prämisse 2 | A | | B | <span "nicht A">⌐A</span> | | ^Prämisse 2 | A | | B | <span "nicht A">⌐A</span> <small>(nicht A)</small> | |
| ^Konklusion | B | | <span invalid short>A</span> | <span "nicht-B" invalid short2>⌐B</span> | | ^Konklusion | B | | <span invalid short>A</span> | <span "nicht-B" invalid short2>⌐B</span> <small>(nicht B)</small> | |
| |
| ===== Siehe auch ===== | ===== Siehe auch ===== |
| |
| * [[begriffe:subjunktion|Subjunktion]] | * [[begriffe:konditional|Subjunktion]] |
| * [[logik:schlussformen:modus_tollens|Modus Tollens]] | * [[logik:schlussformen:modus_tollens|Modus Tollens]] |
| |
