tõeväärtus. 15 Ilmar Lilleorg Loogika vihik 2006 Seega, selleks, et arutlus otsustuse tõeväärtuse leidmise üle saaks toimuda, peab olema fikseeritud lähteotsustus ehk indikaatorotsustus. Indikaatorotsustuseks nimetatakse seda otsustust, mille tõeväärtus on ülesande tingimustes antud ja millest tuleb lähtuda kõikide teiste otsustuste tõeväärtuse leidmisel. Indikaatorotsustuseks võetakse üks neljast otsustuse vormist, tavaliselt on selleks osaline otsustus. Sealjuures võib lähteotsustus olla tunnistatud kehtivaks või mittekehtivaks. Võtame järgneva arutluse tarvis indikaatorotsustuseks abstraktse otsustuse: Mõni K ei ole L, ja tunnistame selle kehtivaks
annaabi.ee 
