Кукон давлат педагогика институти

Теорема: мулохазалар алгебрасидаги хар кандай рост булмаган яъни тавтология булмаган формулалар дизъюнктив бир хадлар урни алмашиши аниклигида ягона куринишдаги ТКНФ да ифодалаш мумкин.

Демак, келтирилган леммаларга асосан берилган формулаларнинг ТКНФ ини аниклаш учун бу формулаларнинг ростлик жадвалини тузиб оламиз ва формула ноль кийматга эришидиган танланмаларга мос келган дизъюнктив бир хадларнинг конъюкциясини оламиз.

1. Конoюктив биръад деб нимага айтилади?

2. Дизoюнктив биръад деб нимага айтилади?

3. Дизoюнктив нормал форма деб нимага айтилади?

4. Конoюктив нормал форма деб нимага айтилади?

5. Такомиллашган биръад деб нимага айтилади?

6. Такомиллашган дизoюнктив нормал форма (ТДНФ) деб нимага айтилади?

7. Такомиллашган конoюктив нормал форма (ТКНФ) деб нимага айтилади?

8. Малоъазалар алгебрасидаги формулаларни ТДНФ да ифодалаш ыандай амалга оширилади?

9. Мулоъазалар алгебрасидаги формулаларни ТКНФда ифодалаш ыандай амалга оширилади?

10. (XY)(XY) формулани дастлаб ТДНФга, сщнг ТКНФга келтиринг.

6-маъруза: ЛОГИК ХУЛОСАЛАШ (КЕЛТИРИБ ЧИКАРИЛГАНЛИК).

Режа .

1.Логик келтириб чиыарилганлик тушунчаси.

2. Логик келтирилиб чиыарганлик аломатлари.

4. 
   Келтириб чиыарилганлик ва тенг кучлилик орасидаги боьланиш.
   
5. 
   Мантиыий хулосалаш ыоидалари .
   
6. 
   Берилган шартлардан хулосаларни аниылаш.
   

Таянч иборалари.

Логик келтириб чиыарилганлик,логик хулосалаш, аломатлар, хулосалаш ва тенг кучлилик, ыоидалар, хулосалаш ыоидаси, mоdus tоllens, текшириш.

Таъриф: Бир ёки бир нечта А,А,...,Амулохазалардан ёки тасдиклардан В тасдик келтириб чикарилган дейилади, агар А,А,...,Алар рост булгандагина В хам рост булса.

Мисол 1: А: “Кундузи дарс тайёрлайман.”

В: “Кечкурун дискотекага бораман.”

С: “Эртагалик дарсларга тайёр эмасман.”

Бу ерда А ва В лардан С келиб чикади.

Мисол 2: Агар мен заводда ишласам (А), у холда мен пул ишлайман (В). Агар мен пул ишлаб олсам (В), у холда мен пулга машина сотиб оламан (С).

Бу мисолда АВ ёки ВС мулохазаларда кандай мулохазани келтириб чикариш мумкин. Бу ерда куйдаги келтириб чикарилганлик хосил булади. “Агар АВ ва ВС булса, у холда АС.”

Энди логик келтириб чикарилганликнинг аник таърифини бериб, унинг хоссасини урганишга киришамиз.

Таъриф:Мулохазалар алгебрасидаги Н(Х,Х