====== (Gültige) Schlussformen ======

Diese Kategorie enthält Artikel mit (gültigen, [[begriffe:deduktion|deduktiven]]) logischen Schlussformen, insbesondere aus der Aussagenlogik.

===== 1. Konditionalaussagen =====

| ^  <i :la>[[logik:schlussformen:modus_ponens|Modus ponens]]</i>  ^  <i :la>[[logik:schlussformen:modus_tollens|Modus tollens]]</i>  ^
^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>  |
^Prämisse 2 |  A  |  <span "nicht B">¬B</span> <small>(nicht B)</small>  |
^Konklusion |  B  |  <span "nicht A">¬A</span> <small>(nicht A)</small>  |
| ||
^Typ |  [[begriffe:konditional|Konditional]]  |  [[begriffe:konditional|Konditional]]  |

Neben diesen beiden Modi gibt es noch zahlreiche andere Formen, die hier nur am Rande behandelt werden:
  * [[logik:schlussformen:destruktives_dilemma|Destruktives Dilemma]]
  * [[logik:schlussformen:konstruktives_dilemma|Konstruktives Dilemma]]
  * [[logik:schlussformen:kontraposition|Kontraposition]]
  * [[logik:schlussformen:kettenschluss|Kettenschluss]]
  * [[logik:schlussformen:hypothetischer_syllogismus|Hypothetischer Syllogismus]]

===== 2. Konjunktionen und Disjunktionen =====
 
| ^  <i :la>[[logik:schlussformen:modus_ponendo_tollens|Modus ponendo tollens]]</i>  ^^ ^  <i :la>[[logik:schlussformen:modus_tollendo_ponens|Modus tollendo ponens]]</i>  ^^
^Prämisse 1 |  <span "Nicht beides, A und B">¬(A ∧ B)</span> \\ <small>(Nicht beides, A und B)</small>  || |  <span "A oder [inkl.] B">A ∨ B</span> \\ <small>(A oder [inkl.] B)</small>  ||
^Prämisse 2 |  A  |  B  | |  <span "nicht A">¬A</span> \\ <small>(nicht A)</small>  |  <span "nicht B">¬B</span> \\ <small>(nicht B)</small>  |
^Konklusion |  <span "nicht B">¬B</span> \\ <small>(nicht B)</small>  |  <span "nicht A">¬A</span> \\ <small>(nicht A)</small>  | |  B  |  A  |
| |||
^Typ |  [[begriffe:konjunktion|Konjunktion]]  || |  [[begriffe:disjunktion|Disjunktion]]  ||

===== 3. Syllogismen =====

Als [[begriffe:syllogismus|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:

  * [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]], mit Varianten: [[logik:schlussformen:modus_barbara:modus_baroco|Baroco]], [[logik:schlussformen:modus_barbara:modus_bocardo|Bocardo]], [[logik:schlussformen:modus_barbara:modus_barbari|Barbari]] und [[logik:schlussformen:modus_barbara:modus_bamalip|Bamalip]].
  * [[logik:schlussformen:modus_celarent:hauptseite|Modus Celarent]], mit Varianten: [[logik:schlussformen:modus_celarent:modus_calemes|Calemes]], [[logik:schlussformen:modus_celarent:modus_calemos|Calemos]], [[logik:schlussformen:modus_celarent:modus_camestres|Camestres]], [[logik:schlussformen:modus_celarent:modus_camestros|Camestros]], [[logik:schlussformen:modus_celarent:modus_celaront|Celaront]], [[logik:schlussformen:modus_celarent:modus_cesare|Cesare]] und [[logik:schlussformen:modus_celarent:modus_cesaro|Cesaro]].
  * [[logik:schlussformen:modus_darii:hauptseite|Modus Darii]], mit Varianten: [[logik:schlussformen:modus_darii:modus_dimatis|Dimatis]], [[logik:schlussformen:modus_darii:modus_datisi|Datisi]], [[logik:schlussformen:modus_darii:modus_disamis|Disamis]] und [[logik:schlussformen:modus_darii:modus_darapti|Darapti]].
  * [[logik:schlussformen:modus_ferio:hauptseite|Modus Ferio]], mit Varianten: [[logik:schlussformen:modus_ferio:modus_festino|Festino]], [[logik:schlussformen:modus_ferio:modus_ferison|Ferison]], [[logik:schlussformen:modus_ferio:modus_felapton|Felapton]], [[logik:schlussformen:modus_ferio:modus_fesapo|Fesapo]] und [[logik:schlussformen:modus_ferio:modus_fresison|Fresison]].

Daneben kann der bereits weiter oben genannte [[logik:schlussformen:kettenschluss|Kettenschluss]] auch als eine allgemeinere Form des [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]] angesehen werden.