Beide Seiten der vorigen RevisionVorhergehende ÜberarbeitungNächste Überarbeitung | Vorhergehende ÜberarbeitungNächste ÜberarbeitungBeide Seiten der Revision |
logik:schlussformen:modus_ponens [19.04.22, 18:56:18] – [Fehlschlüsse] admin | logik:schlussformen:modus_ponens [11.12.22, 22:25:35] – [Modus Ponens] 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 [[logik:begriffe:subjunktion|Subjunktion]] sowie einer //Affirmation// deren [[logik:begriffe:antezedenz|Antezedenz]]. | 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]]. |
| |
> <html><table class="layout"> | > <html><span style="display:inline-block;width:3.5em"><code title="Wenn A, dann B">A → B</code></span> – <i>wenn</i> A, <i>dann</i> B</html> |
<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> | > <html><span style="display:inline-block;width:3.5em"><code title="A ist wahr">A</code> </span> – A <i>ist wahr</i></html> |
<tr><td><code title="A ist wahr">A</code> </td><td> – </td><td> A <i>ist wahr</i></td></tr> | > <html><span class="conclusio"><span style="display:inline-block;width:3.5em"><code title="also B">∴ B</code></span> – <i>also ist</i> B <i>wahr</i></span></html> |
<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 <html><i lang="la">Modus Ponens</i></html>: |
> //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. | > <html><span class="conclusio">also wird die Straße nass.</span></html> |
| |
===== Name ===== | ===== Name ===== |
* Abtrennungsregel | * Abtrennungsregel |
* Affirmation der Antezedenz | * Affirmation der Antezedenz |
| |
| * <html><i lang="la">Modus ponendo ponens</i></html> |
* <html><i lang="la">Affirmatio conditionis</i></html> | * <html><i lang="la">Affirmatio conditionis</i></html> |
| |
===== Siehe auch ===== | ===== Siehe auch ===== |
| |
* [[logik:begriffe:subjunktion|Subjunktion]] | * [[begriffe:subjunktion|Subjunktion]] |
* [[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 | * [[https://de.wikipedia.org/wiki/Modus_ponens|Modus Ponens]] auf Wikipedia |