Tipuri de propoziții categorice

Se dă următoarea propoziție: Fetele sunt machiate. Cu ajutorul cuantificatorilor, se prefigurează patru tipuri fundamentale de propoziții categorice:

1. Toate fetele sunt machiate. (universală afirmativă)
2. Nicio fată nu e machiată. (universală negativă)
3. Unele fete sunt machiate. (particulară afirmativă)
4. Unele fete nu sunt machiate. (particulară negativă)

În afară de propoziții universale și particulare, putem întâlni și propoziții singulare, care vor fi introduse prin cuantificatori, ca numai unul/numai una sau prin folosirea unor termeni din care să rezulte în mod explicit singularitatea (acest băiat înalt, penarul Denisei, Hanul lui Manuc). Însă, in logică, cel mai des întâlnim cele 4 tipuri fundamentale de propozitii enunțate mai sus.

Învățații Evului Mediu au asociat fiecărei propoziții câte o literă, mai exact, primele patru vocale ale alfabetului latin (a, e, i, o etc.). S-ar părea că acestea ar fi și primele două vocale din cuvintele latine affirmo și nego. Astfel, rezultă următoarea clasificare a propozițiilor categorice:

1. SaP- universală afirmativă
2. SeP- universală negativă
3. SiP- particulară afirmativă
4. SoP- particulară negativă

...