Beispiel für Syllogismus: Alle Menschen sind sterblich (Obersatz). Alle Griechen sind Menschen (Untersatz). Also sind alle Griechen sterblich (Schlussfolgerung).
Die Syllogismen (von altgr.: συλ-λογισμός, syllogismos = das Zusammenrechnen, logischer Schluss) sind ein Katalog von Typen logischer Argumente. Sie bilden den Kern der im vierten vorchristlichen Jahrhundert entstandenen antiken Logik des Aristoteles und der traditionellen Logik bis ins 19. Jahrhundert. Als Syllogistik wird ganz allgemein die Lehre von den Syllogismen bezeichnet. Sie untersucht insbesondere, unter welchen Voraussetzungen Syllogismen gültig sind.
