Mulohazalar va ular ustida amallar

O‘ZBEKISTON RESPUBLIKASI AXBOROT TEXNOLOGIYALARI VA KOMMUNIKATSIYALARINI RIVOJLANTIRISH VAZIRLIGI

MUHAMMAD AL-XORAZMIY NOMIDAGI TOSHKENT AXBOROT TEXNOLOGIYALARI UNIVERSITETI

Algoritmlash va matematik modellashtirish

kafedrasi “Diskret tuzilmalar” fani



Mustaqil ish

Mavzu: Mulohazalar va ular ustida amallar. Predikatlar, kvantorlar.

Topshirdi: __043-20_ sirtqi guruh talabasi

Salimova Sevara

Qabul qildi:__Begimov Oybek

Toshkent – 2021
Reja:

1. 
   Kirish.
   
2. 
   Mulohazalar ustida mantiqiy amallar (inkor, kon’yunksiya, diz’yunksiya, implikatsiya, ekvivalensiya).
   
3. 
   Predikatlar haqida tushuncha. Predikatlarda kvantorlarni qo’llanishi usullari.
   
4. 
   Prеdikаtlаr аlgеbrаsining fоrmulаsi vа uning tаdbiqi. Paradokslar va sofizmlar.
   
5. 
   Xulosa
   
6. 
   Foydalangan adabiyotlar