Otsustuse õpetus
ka ,,kas...või..." abil (liigitav).
Implikatiivne otsustus on liitotsustus, milles kaks lihtotsustust on ühendatud siduvate sõnadega
,,kui...siis..." (tingiv).
Ekvivalentne otsustus on liitotsustus, milles kaks lihtotsustust on tasakaalustatud ühendatavate
sõnadega ,,...siis ja ainult siis, kui..." (võrdväärne).
Loogiline ruut on skeem, mille abil iseloomustatakse otsustustevahelisi suhteid ehk mis võimaldab
demonstreerida otsustuste vastasolekut.
Otsustuste vastasolek on otsustustevaheline seos, mille puhul ühe otsustuse kehtivusest
(mittekehtivusest) tuletatakse teiste otsustuste kehtivus (mittekehtivus).
Otsustuse kvantiteet on üks otsustuste klassifitseerimise alus, mis on ära määratud subjekti
mahuga.
Otsustuse kvaliteet on üks otsustuste klassifitseerimise alus, mille määrab koopula ehk side
subjekti ja predikaadi vahel.
otsustus ja selle eitus p p p
tõeväärtus kehtib ei kehti kehtib
annaabi.ee 
