Clasificare

Propoziția universală afirmativă

Formula logică: (+) SaP (-)

Când vorbim de o astfel de propoziție categorică, susținem că Toți S sunt P. În limbajul comun (din afara logicii), înseamnă că orice element care face parte din clasa S este și element al clasei P, prin urmare subiectul este distribuit. Însă predicatul este nedistribuit în acest caz, deoarece reciproca nu e valabilă (adică nu toate elementele din P vor fi și în S). 

Deoarece cunoaștem ceva despre toți copiii de șase ani din parc (subiectul propoziției categorice din exemplu), afirmăm că subiectul este distribuit. Când vrem să determinăm distribuția predicatului (copiii care folosesc leagănele) ne vom pune întrebarea: Știm ceva despre toți copii din parc (nu numai cei de șas...