Logica studieaza 3 forme logice: Termenul, Propozitia, Rationamentu/Inferenta

Ex: Unii pictori sunt artisti renumiti

Are urmatoarele componente: S(Subiect logic), P(Predicat logic), Copula(Poate fi
afrimativa sau negativa),Cuantor(Universal sau Particular) [Universal: se refera la
totalitate] [Particular: se refera la o cantitate sub totalitate]
Copula exprima calitatea propozitiilor categorice, Cuantorul exprima cantitatea.
Dupa Cantitate si Calitate sunt 4 tipuri de propoziti categorice.
Tipuri De propoziti:
1) Universala afirmativa, Sap (Toti S sunt P) (P(S))
2) Universala negativa, Sep (Niciun S nu este P) (S) (P)
3) Particulara afirmative, Sip (Uni S sunt P) (S()P)
4) Particulara negative , Sop (Uni S nu sunt P) (S///)(P)

Sap: Toti elevii sunt silitori

Sep: Niciun elev nu este silitor
Sip: Uni elevi sunt silitori
Sop: Uni elevi nu sunt silitori

Raporturi intre propoziti categorice: De contradictie (Sap-Sop) (Sep-Sip), De

contrarietate (Sap-Sep),De subcontrarietate (Sip-Sop),De subalternare (Sap-Sip)
(Sep-Sop)