Mithilfe dieser aristotelischen Systematik, dem kategorischen Urteil, lässt sich erkennen, ob eine Aussage ihrem logischen Gehalt nach wahr oder falsch ist. Wichtig hierbei ist, dass die Aussage nicht aus anderen Aussagen zusammengesetzt, somit eine atomare Aussage ist. Hier eine Grafik zum System:
