Kui P siis Q Samaväärsus: P<->Q P ainult siis, kui Q Millist tehet nimetatakse binaarseks? Millised loogikatehted on binaarsed? Binaarsed tehted seovad kahte lauset, nendeks on konjuktsioon, disjunktsioon, ekvivalents ja implikatsioon. Millist tehet nimetatakse unaarseks? Millised loogikatehted on unaarsed? Unaarsed tehted on rakendatavad ühele lausele. Unaarseks on eitus. Milline aritmeetiline tehe vastab igale loogikatehtele? Konjuktsioon korrutamine. Disjunktsioon liitmine. Ekvivalents võrdumine. Implikatsioonile ei ole aritmeetikas analoogi. Millist loogikatehet nimetatakse loogikaliseks korrutamiseks? Millist loogikaliseks liitmiseks? Loogiline korrutamine on konuktsioon, liitmine on dusjunktsioon. Milline omavaheline seos on ekvivalentsil ja implikatsioonil? Ekvivalentsitehete mõlemad operandid on samaaegselt teineteise eelduseks ja järelduseks ehk P<->Q puhul P->Q ja Q<-P
(lammutamist) ellu viia. Kui lammutatava lause tõesusest järeldub mõlema komponentlause tõesus, siis pannakse need ühte ja samasse harusse (nt konjunktsioon). Kui lammutatava lause tõesusest järeldub vaid ühe komponentlause tõesus, siis puu hargneb ja komponentlaused pannakse eri harudesse, kumbki haru kirjeldab üht võimalikku alternatiivi. Tõesuspuude tuletusreeglid antakse iga loogikatehte jaoks paarina, kus üks reegel vastab loogikatehtele positiivsel kujul ja teine reegel olukorra jaoks, kus tehte ees on eitus, vt tabel 9.5, suurtäht D viitab dekomponeerimise reeglile. Tabel 9.5. Lausearvutuse tehet sisaldavate valemite lammutamise (dekomponeerimise) reeglid tõesuspuus. Kui hargnemist ei toimu, nt konjunktsiooni korral, siis jäävad tükid (komponendid) oksa või tüve jätkuks. Kui toimub hargnemine, nt disjunktsiooni korral, siis paigutuvad komponendid eri harudele. ¬¬p (¬¬D) p p & q (&D) ¬(p & q) (¬&D) p q ¬p ¬q
(lammutamist) ellu viia. Kui lammutatava lause tõesusest järeldub mõlema komponentlause tõesus, siis pannakse need ühte ja samasse harusse (nt konjunktsioon). Kui lammutatava lause tõesusest järeldub vaid ühe komponentlause tõesus, siis puu hargneb ja komponentlaused pannakse eri harudesse, kumbki haru kirjeldab üht võimalikku alternatiivi. Tõesuspuude tuletusreeglid antakse iga loogikatehte jaoks paarina, kus üks reegel vastab loogikatehtele positiivsel kujul ja teine reegel olukorra jaoks, kus tehte ees on eitus, vt tabel 9.5, suurtäht D viitab dekomponeerimise reeglile. Tabel 9.5. Lausearvutuse tehet sisaldavate valemite lammutamise (dekomponeerimise) reeglid tõesuspuus. Kui hargnemist ei toimu, nt konjunktsiooni korral, siis jäävad tükid (komponendid) oksa või tüve jätkuks. Kui toimub hargnemine, nt disjunktsiooni korral, siis paigutuvad komponendid eri harudele.
annaabi.ee 
