imported>Joachim Stiller |
imported>Joachim Stiller |
Zeile 1: |
Zeile 1: |
| Der '''Modus tollendo ponens''' oder '''Disjunktive Syllogismus''' ist eine Schlussfigur der klassischen [[Aussagenlogik]] bzw. eine [[Schlussregel]] vieler logischer [[Kalkül]]e, die es erlaubt, aus einem Satz der Form ''A oder B'' und einem Satz der Form ''Nicht A'' auf einen Satz der Form ''B'' zu schließen. Es wird also – inhaltlich gesprochen – aus dem Wissen, dass mindestens einer von zwei Sachverhalten bestehen muss, dass aber einer der beiden nicht besteht, darauf geschlossen, dass der ''andere'' der beiden bestehen muss.
| |
|
| |
|
| Der lateinische Name ''Modus tollendo ponens'', frei: „Schlussweise (''modus''), die durch das Zurückweisen [Verneinen] (''tollendo'') [einer Aussage] eine [andere] Aussage setzt [herleitet] (''ponens'')“, erklärt sich daraus, dass bei gegebener erster Prämisse, A ∨ B, durch das Verneinen (¬A) einer Aussage eine andere Aussage, B, „gesetzt“ (hergeleitet) wird.
| | [[Kategorie:Logikkalkül|!]] |
| | | [[Kategorie:Logik]] |
| Da ein Satz A ∨ B auch [[Disjunktion]] genannt wird, bezeichnet man den ''Modus tollendo ponens'' gelegentlich als „Disjunktiven [[Syllogismus]]“.
| |
| | |
| == Formulierung ==
| |
| Aus den [[Prämisse]]n
| |
| :<math>A \lor B</math> | |
| :<math> \neg A</math>
| |
| | |
| folgt die [[Konklusion]]
| |
| :<math>B</math>
| |
| | |
| == Beweis ==
| |
| Die [[logische Äquivalenz]] der Aussagen A ∨ B und ¬A → B folgt aus den Definitionen der [[Disjunktion]], [[Subjunktion]] und der [[Negation#Die Negation in der zweiwertigen Logik|Negation]].
| |
| | |
| linke Seite:
| |
| {| class="prettytable"
| |
| | A || B || A ∨ B
| |
| |-
| |
| | f || f || f
| |
| |-
| |
| | f || w || w
| |
| |-
| |
| | w || f || w
| |
| |-
| |
| | w || w || w
| |
| |}
| |
| | |
| rechte Seite:
| |
| {| class="prettytable"
| |
| | A || B || ¬A || ¬A → B
| |
| |-
| |
| | f || f || w || f
| |
| |-
| |
| | f || w || w || w
| |
| |-
| |
| | w || f || f || w
| |
| |-
| |
| | w || w || f || w
| |
| |}
| |
| | |
| == Siehe auch ==
| |
| * {{WikipediaDE|Modus ponens|Modus polendo ponens}} - oft unexakt zu ''Modus ponens'' abgekürzt
| |
| * {{WikipediaDE|Modus tollens|Modus tollendo tollens}} - oft unexakt zu ''Modus tollens'' abgekürzt
| |
| * {{WikipediaDE|Modus tollendo ponens}}
| |
| * {{WikipediaDE|Modus ponendo tollens}}
| |
| * {{WikipediaDE|Kettenschluss}}
| |
| * {{WikipediaDE|Modus Barbara}}
| |
| | |
| [[Kategorie:Schlüsse]] | |
| [[Kategorie:Lateinische Phrase]]
| |
| [[Kategorie:Kalküle natürlichen Schließens]]
| |
| [[Kategorie:Logikkalkül]]
| |
| | |
| {{Wikipedia}}
| |