Kategorický úsudok

Kategorický úsudok je úsudok zložený z kategorických súdov ktoré niečo vypovedajú bezprostredne o nejakom predmete, nielen o spojení výrokov. Najjednoduchšou formou kategorického úsudku je sylogizmus obsahujúci dve premisy a jeden záver. To,
že subjekt S a predikát P záveru patria k sebe, sa vyvodzuje z toho, že tak subjekt,ako aj predikát sú v jednom spoločnom strednom termíne (terminus medius) M totožné. Táto totožnosť nachádza svoje vyjadrenie v premisách (vo vyššej a nižšej), napríklad:
M – P
S – M
S – P

Ak je jeden z oboch krajných termínov (S alebo P) s termínom M totožný, ale druhý nie, tak vyplýva . Ak ani jeden z nich nie je totožný s termínom M, tak nevyplýva nič.

Externé odkazy 
 

Logika