1-topshiriq. Ma’ruza matni va tavsiya qilingan adabiyotlar asosida savollarga to‘liq javob berishga harakat qiling va jadvalni to‘diring

Umumiy tasdiq mulohazalar. Ular bir vaqtning o‘zida ham umumiy, ham tasdiq bolgan fikrni ifodalaydi. Masalan, «Hamma talabalar mantiq ilmini o‘rganadilar». Bu mulohaza lotin alifbosidagi A harfi bilan belgilanadi va «Hamma S - P dir» formulasi orqali ifodalanadi.
Birlashtiruvchi mulohazalar ikki va undan ortiq oddiy mulohazalarning «va», «ham», «hamda» kabi mantiqiy boglovchilar vositasida birikishidan hosil boladi. Masalan, 1. Ustozining bergan topshiriqlarini bajardi va a’lo baho oldi.
Umumiy inkor mulohazalar bir vaqtning o‘zida ham umumiy, ham inkor bolgan fikrni ifodalaydi. Masalan, «Hech bir ishbilarmon rejasiz ish yuritmaydi». Bu mulohaza «Hech bir S — P emas» formulas! orqali ifodalanadi va lotincha E harfi bilan belgilanadi.	Ayiruvchi mulohaza deb «уо», «yoki», «yoxud» mantiqiy boglovchilar vositasida boglangan oddiy mulohazalarga aytiladi. Bu boglovchilar ikki oddiy mulohaza, bir qancha predikatlar yoki bir qancha subyektlarni bir-biridan ayirib turadi.
Juziy tasdiq mulohazalar bir vaqtning o‘zida ham juziy, ham tasdiq fikrni ifodalaydi. Masalan, «Ba’zi talabalar mas’uliyatli». U lotincha I harfi bilan belgilanadi va «Ba’zi S—Pdir» formulasi orqali ifodalanadi.	Shartli mulohaza ikki oddiy mulohazaning «agar... unda» mantiqiy boglovchi orqali birikishidan tashkil topadi. Shartli mulohazaning mohiyatini aniqlash uchun «zaruriy va yetarli shart» tushunchalarini farqlash zarur. Hodisaning zaruriy sharti deb, uning mavjudligini ta’minlaydigan holatga aytiladi. Agar hodisaning sharti zaruriy bolmasa, hodisa ham bolmaydi
Juziy inkor mulohaza bir vaqtning o‘zida ham juziy, ham inkor bolgan fikrni ifodalaydi. Masalan, «Ba’zi talabalar tartibli emas». Uning formulas! «Ba’zi S—P emas» bolib, lotincha О harfi bilan belgilanadi.