Structura
O propoziție categorică afirmă sau neagă un predicat logic (P) despre un subiect logic (S), cu ajutorul unui cuantor: "toți", "niciun", "unii".
Cele patru tipuri
| Tip | Formă | Exemplu | Calitate / cantitate |
|---|---|---|---|
| A | Toți S sunt P | Toți elevii sunt tineri | universală afirmativă |
| E | Niciun S nu este P | Niciun pește nu este mamifer | universală negativă |
| I | Unii S sunt P | Unii elevi sunt sportivi | particulară afirmativă |
| O | Unii S nu sunt P | Unii elevi nu sunt sportivi | particulară negativă |
Literele vin din latină: AffIrmo (afirm) și nEgO (neg).
Distribuirea termenilor
Un termen este distribuit când propoziția se referă la întreaga lui extensiune:
| Tip | S | P |
|---|---|---|
| A | distribuit | nedistribuit |
| E | distribuit | distribuit |
| I | nedistribuit | nedistribuit |
| O | nedistribuit | distribuit |
Regulă de memorare: universalele distribuie subiectul, negativele distribuie predicatul.
Pătratul logic (esența)
- A și O, respectiv E și I: contradictorii (au mereu valori de adevăr opuse).
- A și E: contrare (nu pot fi ambele adevărate, pot fi ambele false).
- I și O: subcontrare (nu pot fi ambele false, pot fi ambele adevărate).
- A→I și E→O: subalternare (din universala adevărată decurge particulara).
Exemplu rezolvat
Dacă "Toți S sunt P" (A) este FALSĂ, ce știm despre celelalte?
Contradictoria O este ADEVĂRATĂ. Despre E și I, doar din falsitatea lui A, nu putem decide: rămân nedeterminate.
Greșeli frecvente
- "Unii S sunt P" NU implică "unii S nu sunt P": I și O sunt independente logic (subcontrare, nu contradictorii).
- Predicatul e distribuit DOAR în negative (E, O).
- Subalternarea funcționează de la universal spre particular, nu invers.