Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende Überarbeitung |
logik:schlussformen:modus_ponens [03.07.22, 17:28:44] – ↷ Links angepasst, weil Seiten im Wiki verschoben wurden sascha | logik:schlussformen:modus_ponens [20.05.24, 18:16:21] (aktuell) – [Weitere Informationen] sascha |
---|
====== Modus Ponens ====== | ====== Modus Ponens ====== |
| |
Auch abgekürzt <html><abbr lang="la" title="Modus Ponens"></html>MP<html></abbr></html> oder <html><abbr lang="la" title="Modus Ponendo Ponens"></html>MPP<html></abbr></html>, 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]]. |
| |
> <html><table class="layout"> | > <span [style=display:inline-block;width:3.5em] "Wenn A, dann B">''A → B''</span> – //wenn// A, //dann// B |
<tr><td><code title="Wenn A, dann B">A → B</code> </td><td> – </td><td> <i>wenn</i> A, <i>dann</i> B</td></tr> | > <span [style=display:inline-block;width:3.5em] "A ist wahr">''A''</span> – A //ist wahr// |
<tr><td><code title="A ist wahr">A</code> </td><td> – </td><td> A <i>ist wahr</i></td></tr> | > <span [style=display:inline-block;width:3.5em] conclusio "also B">''∴ B''</span> – //also ist// B //wahr// |
<tr><td colspan="3"><hr /></td></tr> | |
<tr><td><code title="also B">∴ B</code> </td><td> – </td><td> <i>also ist</i> B <i>wahr</i></td></tr> | |
</table></html> | |
| |
Zum Beispiel ist das Folgende ein gültiger <html><i lang="la">Modus Ponens</i></html>: | Zum Beispiel ist das Folgende ein gültiger <i :la>Modus Ponens</i>: |
| |
> //Wenn// es regnet, [//dann//] wird die Straße nass. | > //Wenn// es regnet, [//dann//] wird die Straße nass. |
> Es regnet, | > Es regnet, |
> also wird die Straße nass. | > <span conclusio>also wird die Straße nass.</span> |
| |
===== Name ===== | ===== Name ===== |
| |
Der vollständige Name dieser Form ist „<html><i lang="la" title="Weg, durch die Aufstellung etwas aufzustellen">Modus ponendo ponens</i></html>“. Frei könnte man das als den „Art und Weise, durch das Bestätigen [einer Aussage] eine [neue] bestätigte [Aussage] aufzustellen“ übersetzen. | Der vollständige Name dieser Form ist „<i :la "Weg, durch die Aufstellung etwas aufzustellen">Modus ponendo ponens</i>“. Frei könnte man das übersetzen als: „Art und Weise, durch das Bestätigen [einer Aussage] eine [neue] bestätigte [Aussage] aufzustellen“. |
| |
==== Andere Namen ==== | ==== Andere Namen ==== |
* Abtrennungsregel | * Abtrennungsregel |
* Affirmation der Antezedenz | * Affirmation der Antezedenz |
* <html><i lang="la">Affirmatio conditionis</i></html> | |
| * <i :la>Modus ponendo ponens</i> |
| * <i :la>Affirmatio conditionis</i> |
| |
===== Fehlschlüsse ===== | ===== Fehlschlüsse ===== |
| |
Obwohl der <html><abbr lang="la" title="Modus ponens">MP</abbr></html> intuitiv leicht verständlich ist, sind Fehlschlüsse auf dessen Grundlage nicht selten. | Obwohl der <abbr :la "Modus ponens">MP</abbr> intuitiv leicht verständlich ist, sind Fehlschlüsse auf dessen Grundlage nicht selten. |
| |
Die folgende Tabelle stellt den //Modus ponens// und seine wichtigsten Fehlschlüsse gegenüber: | Die folgende Tabelle stellt den //Modus ponens// und seine wichtigsten Fehlschlüsse gegenüber: |
| |
| ^ //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 | <html><span title="Wenn A, dann B"></html>A → B<html></span></html> | | <html><span title="Wenn A, dann B"></html>A → B<html></span></html> | <html><span title="Wenn A, dann B"></html>A → B<html></span></html> | | ^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 | <html><span title="nicht A"></html>:not:A<html></span></html> | | ^Prämisse 2 | A | | B | <span "nicht A">⌐A</span> <small>(nicht A)</small> | |
^Konklusion | <html>B</html> | | <html><span class="invalid short">A</span></html> | <html><span title="nicht-B" class="invalid short2"></html>:not:B<html></span></html> | | ^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 (tollendo) tollens]] | * [[logik:schlussformen:modus_tollens|Modus Tollens]] |
| |
===== Weitere Informationen ===== | ===== Weitere Informationen ===== |
| |
* [[https://de.wikipedia.org/wiki/Modus_ponens|Modus Ponens]] auf Wikipedia | * [[wpde>Modus ponens|Modus ponens]] auf Wikipedia |