====== Hypothetischer Syllogismus ======
Eine gültige logische [[logik:schlussformen:hauptseite|Schlussform]], welche aus der Verkettung von zwei oder mehr [[begriffe:konditional|Konditionalaussagen]] besteht.
Zum Beispiel:
> Wenn es regnet, wird die Straße nass.
> Wenn die Straße nass ist, ist sie rutschig.
> Daraus folgt: Wenn es regnet, wird die Straße rutschig.
oder als Formel dargestellt:
> ''A ⟶ B'' – //wenn// A, //dann// B.
> ''B ⟶ C'' – //wenn// B, //dann// C.
> ''∴'' ''A ⟶ C'' – //folglich: wenn// A, //dann// C.
Der Name bezieht sich auf die Regel, dass sich //Konditionale// immer auch als [[begriffe:kategorische_aussage|kategorische Aussagen]] formulieren lassen und diese Schlussformen daher auch als [[begriffe:syllogismus|Syllogismen]] darstellbar sind.
Das Beispiel oben könnte somit auch als ein [[logik:schlussformen:modus_barbara:hauptseite|Modus Barbara]] [[app>#AA1A|In Syllogism-Finder App anzeigen]], etwa wie folgt formuliert werden:
> Für //alle// Situationen, in denen es regnet, gilt, dass die Straße nass wird.
> Für //alle// Situationen, in denen die Straße nass ist, gilt, dass die Straße rutschig ist.
> Folglich gilt für //alle// Situationen, in denen es regnet, dass die Straße rutschig wird.
Offensichtlich ist die Formulierung als „wenn … dann“-Aussage hier deutlich verständlicher; logisch sind die beiden aber //äquivalent//.
Für mehr Informationen, siehe: [[begriffe:syllogismus|Syllogismus]].
===== Siehe auch =====
* [[logik:schlussformen:kettenschluss|Kettenschluss]]
* [[begriffe:konditional|Konditional]]
* [[begriffe:syllogismus|Syllogismus]]