VÄIDETESÜSTEEMIKS nimetatakse lõpliku arvu väidete hulka. Väidetesüsteemi nimetatakse VASTUOLULISEKS parajasti siis, kui pole loogiliselt võimalik, et selles süsteemi väited on kõik korraga tõesed. Väidetesüsteemi, mis ei ole vastuoluline nimetatakse KOOSKÕLALISEKS. LITERAAL on lausemuutuja(pos) või lausemuutuja eitus(neg). Mingi lausemuutuja hulga puhul saame koostada ELEMENTAARKONJUNKTSIOONI ehk konjunkti( ehk lihtkonjunktsiooni), milles erinevad literaalid on omavahel seotud konjunktsiooni abil. Sama hulga puhul saame koostada ka ELEMENTAARDISJUNKTSIOONI ehk disjunkti, milles erinevad literaalid on omavahel seotud disjunktsiooni abil. Valemi F DISJUNKTIIVSEKS NORMAALKUJUKS nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate lihtkonjunktsioonide disjunktsiooni. Nt A1 & B1... v A2 & B2... v ... PREDIKAATLOOGIKA
NORMAALKUJUD Mitmesugustel põhjustel (nt ülesannete lahendamine, teoreemide tõestamine, etteantud omadustega valemi otsimine) on kasulik viia laused ühesuguse välise kujuga vormi. Literaal on lausemuutuja (positiivne literaal nt B) või lausemuutuja eitus (negatiivne literaal nt ¬B). Mingile lausemuutujate hulga puhul saame koostada elementaarkonjunktsiooni ehk konjunkti (ehk lihtkonjunktsiooni), milles erinevad literaalid on omavahel seotud konjunktsiooni abil. Sama hulga puhul saame koostada ka elementaardisjunktsiooni ehk disjunkti, milles erinevad literaalid on omavahel seotud disjunktsiooni abil. Valemi F disjunktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutad endast erinevate lihtkonjunktsioonide disjunktsiooni. Nt A1&B1& ... A2&B2& ...
omadustega valemi otsimine, on kasulik viia laused ühesugusele välisele kujule. Teksti lühendamise huvides on mõistlik defineerida termin literaal, mis rakenduks nii lausemuutujale kui ka selle eitusele. Literaal on lausemuutuja (positiivne literaal, nt B) või lausemuutuja eitus (negatiivne literaal, nt ¬B). Mingi lausemuutujate hulga (väidetesüsteemi) puhul saame koostada elementaarkonjunktsiooni ehk konjunkti (ehk lihtkonjunktsiooni), milles erinevad literaalid on omavahel seotud konjunktsiooni abil. Sama hulga puhul saame koostada ka elementaardisjunktsiooni ehk disjunkti, milles erinevad literaalid on omavahel seotud disjunktsiooni abil. D7.10.1. Valemi F disjunktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate lihtkonjunktsioonide disjunktsiooni. Nt A1 & B1& … & E1 ∨ A2 & B2 & … & E2 ∨ … . D7.10.2
omadustega valemi otsimine, on kasulik viia laused ühesugusele välisele kujule. Teksti lühendamise huvides on mõistlik defineerida termin literaal, mis rakenduks nii lausemuutujale kui ka selle eitusele. Literaal on lausemuutuja (positiivne literaal, nt B) või lausemuutuja eitus (negatiivne literaal, nt ¬B). Mingi lausemuutujate hulga (väidetesüsteemi) puhul saame koostada elementaarkonjunktsiooni ehk konjunkti (ehk lihtkonjunktsiooni), milles erinevad literaalid on omavahel seotud konjunktsiooni abil. Sama hulga puhul saame koostada ka elementaardisjunktsiooni ehk disjunkti, milles erinevad literaalid on omavahel seotud disjunktsiooni abil. D7.10.1. Valemi F disjunktiivseks normaalkujuks nimetatakse valemiga F samaväärset valemit, mis kujutab endast erinevate lihtkonjunktsioonide disjunktsiooni. Nt A1 & B1 & ... & E1 A2 & B2 & ... & E2 ... . D7.10.2
annaabi.ee 
