Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung |
logik:schlussformen:modus_ponens [09.04.23, 15:10:26] – Externe Bearbeitung 127.0.0.1 | logik:schlussformen:modus_ponens [06.05.23, 18:54:35] (aktuell) – 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 einem [[begriffe:konditional|Konditional]] sowie einer //Affirmation// dessen [[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|Konditional]] |
* [[logik:schlussformen:modus_tollens|Modus Tollens]] | * [[logik:schlussformen:modus_tollens|Modus Tollens]] |
| |