Referati Bajardi: Xoshimova. D tekshirdi: Safarova. D meliyev. Sh Mavzu: Takroriy va takrorsiz oʻrin almashtirishlar

dizyunksiyasi deyiladi.
Mulohazalar dizyunksiyasi «A v В» ko'rinishda yoziladi, «А yoki B» deb o'qiladi va uning tarkibiga kirgan mulohazalarning hech bo'lmaganda bittasi rost bolganda, rost bo'ladi.
Mulohazalar dizyunksiyasi

A	B
R	R	R
R	Y	R
Y	R	R
Y	Y	Y

Mulohazalar implikatsiyasi
Sodda A va В mulohazalardan tuzilgan «Agar A
bo'lsa, В bo'ladi» ko'rinishidagi mulohaza A va В mulohazalarning implikatsiyasideyiladi va «А=B» ko'rinishda belgilanadi.
A=B implikatsiya faqat A rost, B yolg'on bo'lgandagina yolg‘on bo‘ladi. A — implikatsiya sharti, В — xulosasi deyiladi. A ni B uchun yetarli, B ni A uchun zaruriy shart deb ham ataladi.

A	B	=
R	R	R
R	Y	Y
Y	R	R
Y	Y	R

Mulohazalar ekvivalensiyasi
Sodda A va В mulohazalardan tuzilgan «А faqat va
faqat В bo‘Igandagina bo‘ladi» kо‘rinishdagi mulohaza A va В ning ekvivalensiyasideyiladi va «АВ» ko‘rinishda yoziladi.
AВ ekvivalensiya A va B mulohazalarning qiymatlari bir xil bo'lganda rost bo'ladi.

A B
	R		R	R
R	Y		Y
Y	R		Y
Y	Y		R

Predikat
O'zgaruvchi qatnashgan va o'zgaruvchi o'rniga qiymatlar qo‘yilgandagina rost yoki yolg'on mulohazaga aylanadigan darak gap predikatdeyiladi.
Predikatlar tarkibiga kirgan o'zgaruvchilar soniga qarab bir o'rinli, ikki o'rinli va hokazo bo‘ladi. Biz ko'proq bir o‘rinli predikat haqida gapiramiz, uni A(х), B(y), ... ko'rinishda belgilaymiz.
Predikat tarkibiga kirgan o'zgaruvchi qabul qilishi mumkin bo'lgan barcha qiymatlar to'plami predikatning aniqlanish sohasi deyiladi. Aniqlanish sohasi X, Y, Z, ... kabi belgilanadi.
O'zgaruvchi o'rniga qo'yilganda predikatni rost mulohazaga aylantiruvchi qiymatlar predikatning rostlik to'plami deyiladi, A(x) predikatning aniqlanish sohasi X to'plam bo'lsa, rostlik to'plami TA bilan belgilanadi va x є Х ТА с Х bo'ladi.
ТА
Х
Predikatni mulohazaga aylantirishning yana bir usuli kvantorlardan foydalanishdir. Ikki xil kvantor bor bo'lib, ularning biri «umumiylik», ikkinchisi «mavjudlik» kvantori deb ataladi.
Umumiylik kvantori « » belgisi bilan belgilanadi va «har bir», «hamma», «barcha» so'zlari bilan ifodalanadi. inglizcha «All» so'zining bosh harfidan olingan va «hamma» ma’nosini bildiradi.
Mavjudlik kvantori « » belgisi bilan belgilanadi, inglizcha «Exist» — «mavjud» so'zining bosh harfidan olingan va «bor», «mavjud», «topiladi» so'zlarini bildiradi.
Kvantor
A
A
E
Predikatning inkori
X to'plamda A(x) predikat berilgan bo'lsin. A(x) rost bo'lganda yolg'on, yolg'on bo'lganda, rost bo'ladigan
Ā(x) predikat A(x) ning inkori deyiladi. A(x)ning rostlik to'plami T bo'lsa, Ā(x)ning rostlik to'plami T' bo'ladi
T
T'
Predikatlar konyunksiyasi
A(x) va B(x) predikatlaming har ikkalasi rost bo‘lganda rost, qolgan hollarda yolg'on bo'ladigan predikatga ularning konyunksiyasideyiladi va
A(x) B(x) ko'rinishda belgilanadi.
Agar A(x) ning rostlik to‘plami TA, B(x) ning rostlik to'plamini T