Ta`rif 4. {0; 1; ¬; &; \/} - to’plamga mulohazalar algebrasi yoki Bul algebrasi deyiladi.
Ta`rif 5. A va B mulohazalarning implikatsiyasi deb, A mulohaza rost bo`lib, B yolg`on bo`lgandagina yolg`on, qolgan barcha hollarda rost qiymat qabul qiluvchi mulohazaga aytiladi.
Sodda va tuzilgan fikrlar. Fikr o‘zgaruvchilari.
Asosiy mantiqiy bog‘liqliklar
Tuzilgan fikrlarni sodda fikrlardan yasash uchun quyidagicha bog‘liqliklardan foydalaniladi:
Fikrlar ustida mantiqiy amallar bajarish mumkin ular quyidagicha aniqlanadi
qandaydir natural sonlar bo‘lgan quyida berilgan son
Nechta turli bo‘luvchilarga ega? 35*54 sonchi?
Yechilishi: ta umumiy bo‘luvchiga ega; 35*54 son esa 6*5=30 ta bo‘luvchiga ega.
Berilgan to‘plamning k-elementli to‘plam ostilari soni.
Agar A to‘plam berilgan bo‘lsa, u holda biz yangi to‘plam uning barcha to‘plam ostilar to‘plami M(A) ni ko‘rib chiqishimiz mumkin. Mk (A) – deb A to‘plamning barcha k – elementli to‘plam ostilar to‘plamini belgilaymiz. Shunday qilib agar B⊂M(A) va n(B)=k bo‘lsa, B⊂Mk(A) bo‘ladi.
Teorema. n – elementli to‘plamning barcha k – elementli to‘plam ostilar soni
Teorema. n – elementli to‘plamning barcha k – elementli to‘plam ostilar soni
teng bo‘ladi.
n – elementli to‘plamning ixtiyoriy k – elementli to‘plam ostilari n – elementdan k tadan guruhlash deb nomlanadi. Ayrim hollarda guruhlash so‘zini o‘rniga kombinatsiya n elementdan k tadan termini ham ishlatiladi.
Ushbu koeffitsiyent uchun quyidagi xossalar o‘rinli
Ushbu koeffitsiyent uchun quyidagi xossalar o‘rinli
