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

Икки мулохазанинг эквивалентлиги.

Таъриф: P ва Q мулохазаларнинг эквивалентлиги деб, шундай янги мулохазага айтиладики, бу мулохаза бир пайитда рост ёки бир пайитда ёлгон булгандагина рост мулохаза, колган холларда ёлгон булади. Белгиланиши PQ булади.

(Р) (Q) ( PQ)

0	0	1
0	1	0
1	0	0
1	1	1

“P Q га эквивалент”, “P Q га тенг кучли”, “P Q учун зарур ва етарли”, “Факат ва факат P булгандагина Q булади”.

Юкорида келтирилган логик амаллар ростлик жадваллари логик амал натижасида хосил булган мулохазанинг ростлик кийматини хисоблаш коидаларини хам курсатиб беради. Яъни юкорида караб утилганимиздек, ( Р) =   (Р)

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

1.Мулоъаза деб нимага айтилади?

2.Мулоъазанинглогик ыиймати деганда нимани тушунасиз?

3.Ростлик функцияси тушунчасини таoрифини келтиринг?

4.Мулоъазаинг инкори таoрифини келтиринг ва унинг ростлик жадволини тузиб беринг?

5.Икки мулоъазанинг конoюнкцияси таoрифини келтиринг ва унинг ростлик жадвалини тузиб беринг?

6.Икки мулоъазанинг дизoюнкцияси таoрифини келтиринг ва унинг жадвалини тузиб беринг?

7.Икки мулохазанинг импликацияси таoрифини келтиринг ва унинг жадвалини тузиб беринг?

8.Икки мулоъазанинг эквивалентлиги таoрифини келтиринг ва унинг ростлик жадвалини тузиб беринг.

9. а) “a” мулоъазанинг инкорини ёзинг.

б) “ (a>b)”мулоъазани инкор белгиси иштирокисиз ёзинг.

10. А: “28 сони 7 га бщлинмайди”, ъамда

В: “Амударё Орол денгизига ыуйилади” мулоъазаларнинг

а) коoюнкциясини; б) дизoюнкциясини; в) импликациясини;

г) эквивалентилиги ыуринг.

Адабиёт: [1,2,3]

2-Маъруза: МУЛОХАЗАЛАР АЛГЕБРАСИДАГИ ФОРМУЛАЛАР

Режа

1. 
   Мураккаб мулохазаларни ыуриш
   
2. 
   Мулохазалар алгебрасида формула тушунчаси.
   
3. 
   Мураккаб мулохазанинг логик ыиймати.
   
4. 
   Формулаларнинг ростлик жадвалини ыуриш.
   
5. 
   Мулохазалар алгебраси формулаларининг классификацияси.
   

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

Мураккаб мулохаза, мулохаза ыуриш схемаси, щзгарувчи, пропозиционал щзгарувчи, формула, формулани логик ыиймати, формуланинг ростлик жадвали, бажарилувчи, инкор ыилинувчи, айнан рост, тавтология, айнан ёльон, ыарама-ыаршилик.

Юкорида киритилгани логик амаллар ёрдамида содда ёки элементар мулохазалардан улардан кура мураккаб булган мулохазаларни хосил килишимиз мумкин.

Мисол: А,А,А лардан куйдаги мулохазалар хосил киламиз.

«Агар Амударё Фаргона буйида жойлашган ва инсон умри абадий булмаса ,у холда А.С.Пушкин буюк рус математиги »

(АА)А