Propozitiile categoreice sunt formule logice in care

se exprima un singur raport logic intre doi termeni, fara

a pune in legatura cu altceva sau a conditiona acest
raport de altceva.
Structura propozitiilor categorice:
Subiectul logic(S)= termenul despre care se enunta
ceva
Predicatul logic(P)= termenul prin care se spune ceva
despre S
Cuoantorul=elementul prop. categorice care arata
cantitatea(la cat anume din sfera lui S se refera P)
Elementul de legatura copula:element de leg. Intre S si
P arata calitatea propozitiilor(afirmativa sau negativa)
Tipuri de cuantori:
-Universali: fiecare,orice, toti, nici un,(P se enunta
despre intreaga sfera a lui S)
-Particulari:exista cel putin unu, multi, cativa,unii.(P se
enunta despre o parte a sferei lui S)
-Individuali: nume proprii, pronume personale.(P se
enunta despre singurul element al sferei lui S);
Tipuri de propozitii categorice:
a.Dupa calitate(copula)
-afirmative:exprima un raport de concordanta intre S si
P
-negative:exprima un raport de opozitie intre S si P
b.Dupa cantitate(cuoantor)
-universale;
-particulare;
-singulare;
*propozitii universale afirmative(a)formula SaP;Toti S
sunt P.
*propozitii universale negative(e)formula SeP;Niciun S
nu este P.
*propozitii particulare afirmative(i)formula SiP: Unii S
sunt P
*propozitii particulare negative(o)formula SoP: Unii S nu
sunt P.