Een
syllogisme of
sluitrede is in de
logica een redenering, die bestaat uit drie
proposities: een major
premisse, een minorpremisse en een
conclusie. De proposities bevatten een minor term of subject, een major term of
predicaat en een middenterm. In syllogismen komen vier soorten proposities voor:
- Universeel bevestigend (A)
- Particulier bevestigend (I)
- Universeel ontkennend (E)
- Particulier ontkennend (O)