# Propozițiile categorice: tipurile A, E, I, O

> Pagina: https://bacalaurescu.ro/logica/lectii/propozitii-categorice/tipurile-a-e-i-o
> Markdown: https://bacalaurescu.ro/logica/lectii/propozitii-categorice/tipurile-a-e-i-o.md
> Sursa: Bacalaurescu (bacalaurescu.ro), conținut gratuit pentru BAC 2027.

Materia: [Logică, argumentare și comunicare](https://bacalaurescu.ro/logica)

Capitolul: [Propozițiile categorice](https://bacalaurescu.ro/logica/lectii/propozitii-categorice)
Actualizat: 2026-11-01

Structura propozițiilor categorice, cele patru tipuri și distribuirea termenilor.

## Pe scurt pentru BAC

- O propoziție categorică afirmă sau neagă un predicat logic (P) despre un subiect logic (S), cu ajutorul unui cuantor: toți, niciun, unii.
- Literele vin din latină: A și I din „affirmo” (afirm), E și O din „nego” (neg).
- Un termen este distribuit când propoziția se referă la întreaga lui extensiune: E distribuie ambii termeni, I niciunul.
- În pătratul logic, A și E sunt contrare (pot fi ambele false), iar I și O sunt subcontrare (pot fi ambele adevărate).
- Subalternarea merge de la A la I și de la E la O: din universala adevărată decurge particulara.

## 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ă: **A**ff**I**rmo (afirm) și n**E**g**O** (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)

1. **A și O**, respectiv **E și I**: contradictorii (au mereu valori de adevăr opuse).
2. **A și E**: contrare (nu pot fi ambele adevărate, pot fi ambele false).
3. **I și O**: subcontrare (nu pot fi ambele false, pot fi ambele adevărate).
4. **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.

> [!ATENTIE]
> Din falsitatea unei universale decurge DOAR adevărul contradictoriei; contraria și subalterna rămân nedeterminate. Aici pică cei mai mulți candidați.

> [!RETINE]
> A: toți S sunt P; E: niciun S nu este P; I: unii S sunt P; O: unii S nu sunt P. Universalele (A, E) distribuie subiectul, negativele (E, O) distribuie predicatul. Contradictorii: A cu O și E cu I.

## Greșeli frecvente

1. "Unii S sunt P" NU implică "unii S nu sunt P": I și O sunt independente logic (subcontrare, nu contradictorii).
2. Predicatul e distribuit DOAR în negative (E, O).
3. Subalternarea funcționează de la universal spre particular, nu invers.
