Ma’ruza 4: Mulohazalar mantiqi. Fikrlar mantiqining tatbiqlari. Reja: Fikr tushunchasi

 

 

    

Asosiy  darsliklar va o‘quv qo‘llanmalar

 

1.

     

Mendelson E. Vvedenie v matematicheskuyu logiku. M.: Nauka, 1984.

 

2.

     

Yablonskiy S. V. Vvedenie v diskretnuyu matematiku. – M.: Nauka, 1986.

 

3.

     

Lavrov  I.  A.,  Maksimova  L.  L.  Zadachi  po  teorii  mnojestv,  matematicheskoy 

logike i teorii algoritmov. M.: Fiz.-mat. literatura, 1995.

 

 

 

Mustaqil ta'lim mavzulari

 

1. Chinlik jadvali.

 

2. Pirs strelkasi.

 

3. Sheffer  shtrihi.

 

 

 

                                 

 

 

 

 

 

---

Glossariy

 

 

 

      

Fikr

 - 

chinligi yoki yolg‘onligini bir qiymatli aniqlash mumkin bo‘lgan har 

qanday tasdiqlovchi darak gapdir.

 

 

 

Inkor  amali

 -    o‘zi  chin  bo‘lganda  yolg‘on,   yolg‘on  bo‘lganda  esa  chin 

bo‘ladigan  fikrga  aytiladi  va  fikrning  inkori  deyiladi.  U  o‘zbek  tilidagi  «  emas» 

bog‘lovchisiga mos keladi.