Sylogizm (z stgr. συλλογισμός – konkluzja, wniosek) – schemat wnioskowania na podstawie dwóch przesłanek, które zawierają wspólny element, a każdy element wniosku zawarty jest w dokładnie jednej przesłance. Sylogizm wywodzi się z prac Arystotelesa, który jako pierwszy podał jego przykład, znany właśnie jako sylogizm Arystotelesa. Jego sformułowanie uważane jest za początek klasycznej logiki. Najczęściej przywoływany jest w postaci: "Jeżeli każdy M jest P oraz każdy P jest S, to każdy M jest S".

Więcej informacji: pl.wikipedia.org