El silogismo categórico es una deducción formada por tres frases encadenadas: dos premisas y una conclusión. Si las dos primeras frases son verdaderas, la tercera tiene que ser verdadera. Es como un puente donde dos orillas se unen gracias a una pieza del medio.

Cada pieza tiene un papel preciso. La proposición categórica es una frase simple que relaciona dos categorías, como Todo S es P. La premisa es la frase de partida que aceptamos como verdadera para razonar, siempre hay dos: P1 y P2. La conclusión es la frase final marcada con C, y el término es cada categoría importante, solo el sujeto o predicado principal. Así, el silogismo se resume en la forma P1, P2 |- C, que se lee: de P1 y P2 se deduce C.

Solo usa tres términos: el menor S, la categoría pequeña de la que se habla en la conclusión; el mayor P, la categoría grande que se afirma o niega; y el medio M, la categoría puente que conecta a las otras dos. M aparece en las dos premisas pero nunca en la conclusión, como el andamio que se retira cuando el puente está listo. Sus características esenciales son tener exactamente tres proposiciones y tres términos, conclusión necesaria y validez por la forma, no por el tema. Por ejemplo, si todos los deportistas son saludables y algunos estudiantes son deportistas, entonces algunos estudiantes son necesariamente saludables.