Raporturile logice între

propozițiile categorice
PĂTRATUL LUI BOETHIUS
PĂTRATUL LOGIC
 Raportul de contradicție

 Se stabilește între SaP și SoP, precum și între SeP și SiP (propoziții

contradictorii);
 Ele nu pot fi nici adevărate, nici false în același timp și sub același
raport;
 Astfel:
(SaP=1) (SoP=0)
(SaP =0) (SoP=1)
(SeP=1) (SiP=0)
(SeP =0) (SiP=1)
 Raportul de contrarietate

 Se stabilește între propozițiile universale SaP și SeP (propoziții

contrare);
 Acestea nu pot fi adevărate în același timp și sub același raport, dar pot
fi false;
 Astfel: (SaP=1) (SeP=0)
(SaP=0) (SeP=?)
(SeP=1) (SaP=0)
(SeP=0) (SaP=?)
 Raportul de subcontrarietate

 Se stabilește între propozițiile particulare SiP și SoP (propoziții

subcontrare);
 Acestea nu pot fi false în același timp și sub același raport, dar pot
fi adevărate;
 Astfel: (SiP=1) (SoP=?)
(SiP=0) (SoP=1)
(SoP=1) (SiP=?)
(SoP=0) (SiP=1)
 Raportul de subalternare

 Se stabilește între propozițiile universale și cele particulare, de

aceiași calitate:
SaP și SiP,
SeP și SoP;
 Propozițiile universale se numesc supraalterne;
 Propozițiile particulare se numesc subalterne;
 Astfel: (SaP=1) (SiP=1)
(SiP=1) (SaP=?)
(SaP=0) (SiP= ?)
(SiP=0) (SaP=0)
 Aplicații

 Fiind date propozițiile :

1. Există păsări care nu zboară.

2. Numerele impare nu sunt divizibile cu 2.

3. Numai orele de logică sunt plăcute

considerând că sunt adevărate, arătați ce valoare de adevăr au celelalte propoziții în baza

raporturilor logice învățate.
 Rezolvare

  1. (SoP=1) (SaP=0)
Forma standard a propozițiilor:
(SeP=?)
1. Unele păsări nu zboară (SoP) (SiP=?)

2. Nici un număr impar nu este  2. (SeP=1) (SaP=0)

divizibil cu 2 (SeP) (SiP=0)
(SoP=1)
3. Toate orele plăcute sunt ore de
logică(SaP)  3. (SaP=1) (SeP=0)
(SiP=1)
(SoP=0)