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

Назорат учун саволлар

1.Тавтологияларнинг асосий моъиятини тушунтириб беринг.

2. Мулоъазалар алгебрасидаги асосий тавтологияларни кщрсатиб беринг.

3. Конoюнкция ва дизoюнкциянинг хоссаларини ифодаловчи тавтологияларни кщрсатиб беринг.

4. Импликация ва эквивалентлик хоссаларини ифодаловчи тавтологияларни кщрсатиб беринг.

5. Бир логик амалдан бошыа логик амалга щтишни ифодаловчи тавтологияларни кщрсатиб беринг.

6. Тавтология ъосил ыилишнинг ыоидаларидан бири бщлган хулосалаш (ёки ажратиб олиш) ыоидасини тушунтириб беринг.

7. Тавтология ъосил ыилишнинг щрнига ыщйиш ыоидасини тушунтириб беринг.

8. (РQ)((РQ) Р) формуланинг тавтология эканлигини исботланг.

9. РQ  ... формуладан бщш щринга ыандай формула ыщйсак натижада тавтология ъосил бщлади?

10. Агар (РQ)(Р Q)  G(x,y) формула тавтология бщлса, у ъолда G(x,y) формуланинг турини аниыланг?

4-маруза: ЛОГИК ТЕНГКУЧЛИЛИК.

Режа.

1. 
   Формулалар тенг кучлилиги тушунчаси.
   
2. 
   Формулалар тенг кучлилиги аломати .
   
3. 
   Тенг кучли формулаларга мисоллар.
   
4. 
   Формулаларни тенг кучли алмаштириш.
   

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

Тенг кучлилик, эквивалентлик , тенг кучлилик аломати, эквивалентлик муносабати, эквивалент синфлар, тенг кучли формулалар, тенг кучли алмаштириш, формулаларни соддалаштириш.

Таъриф: Мулохазалар алгебрасида F(х,х,...,х) ва H(х,х,...,х) формула тенг кучли (ёки эквивалент) формула дейилади, агар уларда катнашган узгарувчиларнинг ихтиёрий кийматларида формуланинг логик кийматлари хар доим устма-уст тушса. Тенг кучлилик одатда F  H куринишда белгиланади. Яoни F  H  ихтиёрий А,А,...,Амулохазалар учун (F(А,А,...,А))=(H(А,А,...,А))