Selleks lisame tehete kirjeldustes definitsioonidele ka indikaatorid ehk indikaatorsõnad. Lausearvutuses on indikaatoriteks sõnad, sõnakombinatsioonid või muud konstruktsioonid, mis tekstis esinedes võivad väljendada loogikatehet. Liitlause igal komponentlausel on vastavalt konkreetsele interpretatsioonile tõeväärtus (kas tõene või väär). Liitlause kõigile komponentlausetele konkreetse interpretatsiooniga määratud tõeväärtuste järjestatud ennikut nimetatakse komponentlausete tõeväärtusjaotuseks. Komponentlausetest koosneva liitlause tõehulk (set of truth) on hulk, mille elementideks on komponentlausete tõeväärtusjaotused, mille korral liitlause on tõene. Lausete ja nende tõehulkade vaheline seos võimaldab loogikaülesandeid lahendada hulgateooria abil ja vastupidi. Ka siin on üheks meetodiks Venni diagrammed. LAUSEARVUTUSE TEHTED Lausearvutuses tähistab lausemuutujat tavaliselt suurtäht, nt B. Lausearvutuse tehete
Selleks lisame tehete kirjeldustes definitsioonidele ka indikaatorid ehk indikaatorsõnad. Lausearvutuses on indikaatoriteks sõnad, sõnakombinatsioonid või muud konstruktsioonid, mis tekstis esinedes võivad väljendada loogikatehet. Liitlause igal komponentlausel on vastavalt konkreetsele interpretatsioonile tõeväärtus (kas tõene või väär). Liitlause kõigile komponentlausetele konkreetse interpretatsiooniga määratud tõeväärtuste järjestatud ennikut nimetatakse komponentlausete tõeväärtusjaotuseks. Komponentlausetest koosneva liitlause tõehulk (set of truth) on hulk, mille elementideks on komponentlausete tõeväärtusjaotused, mille korral liitlause on tõene. Lausete ja nende tõehulkade vaheline seos võimaldab loogikaülesandeid lahendada hulgateooria abil ja vastupidi. Ka siin on üheks meetodiks Venni diagrammed. LAUSEARVUTUSE TEHTED Lausearvutuses tähistab lausemuutujat tavaliselt suurtäht, nt B. Lausearvutuse tehete
annaabi.ee 
