OTSUSTUSÕPETUS 3.1. - 3.7.
vahenditega (reeglid, vorminõuded) ei ole võimalik kindlaks
teha otsustuse kehtivust või mittekehtivust. Näiteks, üldjaatava
otsustuse mittekehtivuse korral ei ole võimalik üldeitava
otsustuse tõeväärtust kindlaks määrata ja sellisel juhul
fikseeritakse selle määramatus. Kõik taimed õitsevad - ei kehti,
siis otsustuse Ükski taim ei õitse tõeväärtust ei saa loogikas
määrata (selleks tuleb kasutada teisi vahendeid) ja seega
fikseeritakse "määramatu".
Mõnes loogikaraamatus on kirjutatud "kehtiva" asemel
"tõene" ja "mittekehtiva" asemel "väär"(G.Vuks). Tõde on
gnoseoloogiline kategooria ja formaalsesse loogikasse see ei
kuulu. Liiatigi, konventsionaalsetel otsustustel puudub tõesuse
kriteerium. Konventsionaalse iseloomuga on otsustused, mis
sisaldavad reegleid või lähtuvad reeglitest. "Väär" saab olla
otsustus oma konstruktsioonilt. "Väärale" vastupidise
10
annaabi.ee 
