kategoorilise otsustuse (S on/ei ole P) vormis. Apodiktiline otsustus on lihtotsustus, mis väljendab paratamatut ehk seaduspärast seost subjekti ja predikaadi vahel. Konjunktiivne otsustus on liitotsustus, milles lihtotsustused on ühendatud sidesõna ,,ja", ,,ning" või koma abil (ühendav). Disjunktiivne otsustus on liitotsustus, milles lihtotsustused on ühendatud sõna ,,või", aga samuti 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
ka järelduse sõnastamisel. 4 Ilmar Lilleorg Loogika vihik 2006 3.3. Otsustuse eitamine. Alustuseks mõned lähteteesid antud teema käsitlemiseks: a) mistahes lihtotsustust, millel on tõeväärtus, loogikas on kombeks tähistada väikese tähega "p"; b) mistahes otsustus saab olla vaid jaatav või eitav; c) igat tõeväärtust evivat otsustust saab eitada: 1) kui eitada jaatavat otsustust, on tulemuseks eitav otsustus, ja 2) kui eitada eitavat otsustust, on tulemuseks jaatav otsustus, kuna formaalses loogikas kahekordse eituse tulemuseks on jaatav otsustus. Viimasel aastakümnel ilmunud loogikaalases
annaabi.ee 
