Benutzer-Werkzeuge

Schlussformen

Diese Kategorie enthält Artikel mit (gültigen) logischen Schlussformen, insbesondere aus der Aussagenlogik.

Übersicht

Übersicht über die verschiedenen (gültigen) logischen Schlussformen:

1. Subjunktionen

Modus ponens Modus tollens Kettenschluss
Prämisse 1 A → B A → B A → B; B → C; … M → N
Prämisse 2 A ⌐B A
Konklusion B ⌐A N
Typ Subjunktion Subjunktion Subjunktion

2. Konjunktionen und Disjunktionen

Modus ponendo tollens Modus tollendo ponens
Prämisse 1 ⌐(A ∧ B) A ∨ B
Prämisse 2 A B ⌐A ⌐B
Konklusion ⌐B ⌐A B A
Typ Konjunktion Disjunktion

3. Syllogismen

Als Syllogismus bezeichnet man Formen von logischen Schlüssen, die aus zwei Prämissen, die insgesamt drei Begriffe enthalten, eine neue Aussage schließen. Die insgesamt 24 gültigen Syllogismen lassen sich auf die folgenden vier Grundformen zurückführen:

Daneben kann der bereits weiter oben genannte Kettenschluss auch als eine allgemeinere Form des Modus Barbara angesehen werden.

Diese Website verwendet Cookies. Durch die Nutzung der Website stimmen Sie dem Speichern von Cookies auf Ihrem Computer zu. Außerdem bestätigen Sie, dass Sie unsere Datenschutzbestimmungen gelesen und verstanden haben. Wenn Sie nicht einverstanden sind, bitte verlassen Sie die Website.Weitere Information