valemeid. Lausearvutuse süntaks (induktiivne definitsioon): Lausearvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil: 1. Iga lausemuutuja ja loogiline konstant on lausearvutuse valem. 2. Kui p on lausearvutuse valem, siis ¬p on lausearvutuse valem. 3. Kui p ja q on lausearvutuse valemid, siis (p & q), (p q), (p q) ja (p q) on lausearvutuse valemid. Sulgude vähendamiseks on tehtud kolm kokkulepet: 1. Tehete prioriteet kõrgeimast madalaimani on: ¬, &, , , . 2. Võrdse prioriteediga tehteid sooritatakse vasakult paremale. 3. Valemi välised sulud võib ära jätta. Tehetest parema ülevaate saamiseks võib kasutada tõeväärtustabeleid. 17_fl_i-v Tõeväärtustabeli vasakul pool esitatakse argumentide (komponentlausete) kõikvõimalikud tõeväärtused ning paremal pool esitatakse tehete tulemused.
4. Lauseloogikas on kokku lepitud tehete järjestuse eeskiri. 1. Esmalt tuleb sooritada sulgudes asetsevad tehted. Vajaduse korral tuleb kasutada mitmekordseid sulge. Sulgude sees olevale avaldisele tuleb rakendada siinses eeskirjas loetletud reegleid. 2. Kõige kõrgema prioriteediga tehe on eitus ning see rakendub vaid eituse märgile vahetult järgnevale lausele. (Kui eituse märgile järgneb vahetult sulg, siis tuleb järgida esimest reeglit.) 3. Lausearvutuse tehete prioriteet kõrgeimast madalaimani on: ¬, &, ∨, →, ↔. 4. Võrdse prioriteediga tehteid sooritatakse vasakult paremale. 5. Avaldise lülitamiseks teise avaldise koosseisu peab avaldise ümbritsema väliste sulgudega. Kui tekib avaldis, milles on välised sulud, siis võib need ära jätta. Sulud võib ära jätta ka siis, kui tehete järjekorra reeglid seda lubavad. 12 NÜ. Koostage tõeväärtustabel valemile: A & ¬U ∨ ¬(U → A). Lahendus: tõeväärtustabeli ülarea kohal on toodud tehete sooritamise järjekord
1. Esmalt tuleb sooritada sulgudes asetsevad tehted. Vajaduse korral tuleb kasutada mitmekordseid sulge. Sulgude sees olevale avaldisele tuleb rakendada siinses eeskirjas loetletud reegleid. 2. Kõige kõrgema prioriteediga tehe on eitus ning see rakendub vaid eituse märgile vahetult järgnevale lausele. (Kui eituse märgile järgneb vahetult sulg, siis tuleb järgida esimest reeglit.) 3. Lausearvutuse tehete prioriteet kõrgeimast madalaimani on: ¬, &, , , . 4. Võrdse prioriteediga tehteid sooritatakse vasakult paremale. 5. Avaldise lülitamiseks teise avaldise koosseisu peab avaldise ümbritsema väliste sulgudega. Kui tekib avaldis, milles on välised sulud, siis võib need ära jätta. Sulud võib ära jätta ka siis, kui tehete järjekorra reeglid seda lubavad. 12 NÜ
annaabi.ee 
