Propoziţia categorică Simbolul Formula Citirea standard

UNIVERSALĂ A SaP Toti S sunt P

AFIRMATIVĂ
UNIVERSALĂ E SeP Niciun S nu este P
NEGATIVĂ
PARTICULARĂ I SiP Unii S sunt P
AFIFMATIVĂ
PARTICULARĂ O SoP Unii S nu sunt P
NEGATIVĂ

Pătratul logic

Conversiunea Obversiunea
ca→
Sap PiS SaP o → S e ̴ P
SeP c→PeS SeP ca → PoS SeP o → Sa ̴ P
SiP c→ PiS SiP o → S o ̴ P
SoP →nu se converteste valid SoP o → S i ̴ P
 Obversa conversei Conversa obversei

SaP ca→PiS o→ Po ̴ S (Unii P nu sunt SaP o→ Se ̴ P c→ ̴ PeS ( Niciun non-

non-S) P nu este S)

SaP o→ Se ̴ P ca→ ̴ PoS ( Unii non-P

nu sunt S)
c o
SeP → PeS → Pa ̴ S ( Toti P sunt
non-S) SeP o→ Sa ̴ P ca→ ̴ PiS (Unii non-P
sunt S)
SeP ca→ PoS o
→ Pi ̴ S (Unii P sunt
non-S)
SiP c→ PiS o→ Po ̴ S (Unii P nu sunt SiP o→ So ̴ P c→ nu se converteste
non -S)
SoP → nu se converteste SoP o→ Si ̴ P c→ ̴ PiS (Unii non-P
sunt S)

Subiectul logic este distribuit în propozitiile universale, iar predicatul

logic este distribuit în propozitiile negative.

Propoziţia S P
SaP/PaS + - S+aP-/P+aS-

SeP/PeS + + S+eP+/P+eS+

SiP/PiS - - S–iP- /P–iS –

SoP/PoS - + S–oP +/P–oS+

Legea distribuirii termenilor: Un termen poate fi distribuit în

concluzie, dacă şi numai dacă este distribuit şi în premisă.