Syllogistiikan teoria
Syllogismeissa esiintyvät premissit ja johtopäätökset voidaan jakaa neljään ryhmään sen mukaan, millainen lauseessa esiintyvien kahden termin välinen suhde eli syllogistinen relaatio on. Syllogistisessa lauseessa voidaan joko kieltää tai myöntää, että jokin predikaatti termi kuuluu jollekkin subjektitermille. Kieltäminen tai myöntäminen voi tapahtua joko kokonaan eli universaalisti tai osittain partikulaarisesti.
-A kuuluu jokaiselle B:lle
-A ei kuulu millekkään B:lle
-A kuuluu jollekkin B:lle
-A on kuulumatta jollekkin B:lle