Un "silogismo categórico" es un silogismo compuesto por exactamente tres proposiciones categóricas (dos premisas y una conclusión). Una proposición es "categórica" cuando tiene una de las siguientes cuatro formas:
- Universal afirmativo (proposiciones-A): Todo S es P
- Universal negativo (proposiciones-E): Ningún S es P
- Particular afirmativo (proposiciones-I): Algunos S son P
- Particular negativo (proposiciones-O): Algunos S no son P
Por ejemplo....
