[уМ сатри. Инкор, конъюнкция, дизъюнкция, эквиваленция ва

7 - т а ъ р и ф . Фацат х ва у м улохазалар чин булгандагина, 
х|>' м улохаза ёлгондир.
Бу таъриф ни куйидаги чинлик жадвали ёрдамида иф ода- 
ласа хам булади:
X
У
А
у
ё
ё
Ч
ё
ч
Ч
ч
ё
ч
ч
ч
ё
А соси й чинлик ж ад в а л л а р и . 
Ю кррида келтирилган ч и н ­
лик жадваллари, м ос равиш да, инкор килиш , к онъ ю нкц ия, 
дизъ ю н к ц и я, им пликация, эквивалентлик ва Ш еф ф ер амал- 
лари нинг асоси й чинлик жадваллари д е б айтилади:
X
У
х л у
X v y
х - ^ у
х<г^у
х \у
ч
ч
ч
ч
ч
ч
ё
ч
ё
ё
ч
ё
ё
ч
ё
ч
ё
ч
ч
ё
ч
ё
ё
ё
ё
ч
ч
ч
М а ш ц л а р
1. К уйидаги гапларнинг кайси бирлари мулохаза булади:
1) Т ош к ен т — У збекистон Р еспублик аси нинг пойтахти;
www.ziyouz.com kutubxonasi

---

3) Ой — М арс п лан етаси нинг йулдош и;
4)
а > 
0.
2. К уйидаги мулохазаларнинг чин ёки ёлгон эканлигини 
аник^ланг:
1) 2 е {х |2 х 3 - Зх2 + 1 
= 0, 
х е /?}; 
2) {1}е N.
3. К уйидаги им пликацияларнинг к,айси бири чин булади:
1) агар 2-2 = 
4 
булса, у холда 2 < 3;
2) агар 2-2 = 
4 
булса, у холда 2 > 3.
2 - § . Ф ормулалар. Тенг кучли формулалар
[7 | формула. Чинлик жадвали. Тенг кучли формулалар. Э к ви ва ­
лентлик билан т енг кучлилик орасидаги фарк. Айният.
О лдинги параграфда асосан мантиций амалларни куриб 
чикдик. Э н ди бу амаллар орасида богланиш лар м авж удл и- 
гини курсатамиз. Б унинг учун тенг кучли мулохазалар ту- 
ш унчасини киритамиз. п та
х ,, 
Х2, 
х3, 
..., 
х п 
(2 )
мулохаза берилган булсин.
1 - т а ъ р и ф . (2) мулохазаларни инкор, дизъюнкция, конъ­
ю нкция, импликация ва эквивален ция м ант икий ам аллари 
воситаси билан маълум тартибда бирлаштириб хосил килинган 
м ура к к аб м улохаза ф о р м ула деб ат алади.
М а с а л а н : [ х , v ( x 2a x 3) ] - > х 4; [ х , л ( х 2- > х 3) ] v ( x 4<->x5); 
(x<-^7 ) a ( x v j ) ; ( х —> у )л О '-> г )-> (г -> * ) мураккаб мулохазалар 
формулалар булади. Кавслар мулохазалар устида м антилий 
амалларнинг к,ай тартибда баж арил иш ини курсатади.
Э нди форм ула туш унчасига математик таъриф берайлик. 
Бу туш унча куйидагича аник утнади .
2 - т а ъ р и ф . 1) хар кандай х ,, х 2, ..., х п м улохазаларнинг 
исталган бири формуладир;
2) 
агар А ва В нинг хар бири формула булса, у холда (А л В), 
(A w В), (А^>В), ( А В ) ва А хам формулалардир;
www.ziyouz.com kutubxonasi

---