Un silogismo es categórico si está compuesto por exactamente tres proposiciones categóricas (dos premisas y una conclusión), y si ambas premisas comparten exactamente un término (llamado el "término medio"), que además no está presente en la conclusión.