Un silogismo categórico es un silogismo compuesto por exactamente tres proposiciones categóricas. Una proposición es categórica cuando tiene una de las siguientes cuatro formas: Universal afirmativa (proposiciones-A): Todo S es P Universal negativa (proposiciones-E): Ningún S es P Particular afirmativa (proposiciones-I): Algunos S son P Particular negativa (proposiciones-O): Algunos S no son P Por ejemplo, el siguiente argumento es un silogismo categórico: