Kehtiv ja kehtetu otsustus
Loogiline ruut ehk otsustuste vastasolek.
A vastupidised E
Kehtiv+
Mittekehtiv -
I O määramatu ?
1) A & E kontraarsed, vastuolulised
a) A+E-; E+A-
b) A-E?; E-A?
2) A & O; E & I kontradiktoorsed, vasturääkivad
a) A+O-; E+I-
b) A-O+; E-I+
c) O+A-; I+E-
d) O-A+; I-E+
A?O? E?I?
3) A & I, E & O subordinaared, alluvad
a) A+I+, E+O+
b) A-I?; E-O?
c) I+A?; O+E?
d) I-A-; O-E-
4) I & O osavastupidised, subkontraalsed
a) I+O?; O+I?
b) I-O+; O-I+
Kõik S on P üldjaatav A (kel pole pead, sel olgu jalad)
Ükski S ei ole P üldeitav E
Mõni S on P osa jaatav I
Mõni S ei ole P osaeitav O (eksisteerib eluolendeid kes ei ole arukad)
Otsene järeldus Otsustuste teisendamise võte
Otsese järelduse tegemise viise on kolm erinevat.
1. Muutmine
annaabi.ee 
