Kettenschluss

Eine beliebig lange Serie von Subjunktionen, die durch einen Schluss vom Oberbegriff der ersten zum Unterbegriff der letzten Prämisse ersetzt werden können.

Wenn A, dann B.
Wenn B, dann C.
…
Wenn L, dann N.
————————
∴ Wenn A, dann N.

• Polysyllogismus
• Modus Barbara – Sonderfall des Kettenschlusses mit genau drei Begriffen
• Sorites (eigentlich: soriticus syllogismus) – nicht zu verwechseln mit dem Sorites-Irrtum.

Wenn etwas ein Quadrat ist, ist es ein Rechteck.
Wenn etwas ein Rechteck ist, ist es ein Polygon.
Wenn etwas ein Polygon ist, kann es ohne abzusetzen gezeichnet werden.
––––––––––––––––––––––––––––––––––––––––––––––––––––––––––––
Wenn etwas ein Quadrat ist, kann es ohne abzusetzen gezeichnet werden.

• Subjunktion
• Modus Ponens
• Modus Tollens
• Dammbruchargument

• Kettenschluss auf Wikipedia.