1. Fikr tushunchasi. Fikrlar ustida mantiqiy amallar. Chinlik jadvali

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.
Kon’yunksiya - va fikrlar bir vaqtda chin bo‘lgandagina chin bo‘ladigan fikrni bildiruvchi fikr bo‘lib, uni mantiqiy ko‘paytma ham deyiladi. U o‘zbek tilidagi « va» bog‘lovchisiga mos keladi.
Diz’yunksiya  - va fikrlarning kamida bittasi chin bo‘lgandagina chin bo‘ladigan fikrni bildiruvchi fikr bo‘lib, uni mantiqiy yig‘indi ham deyiladi. U o‘zbek tilidagi « yoki» bog‘lovchisiga mos keladi.
Implikatsiya -  fikr chin, fikr yolg‘on bo‘lgandagina yolg‘on bo‘lib, qolgan barcha hollarda chin bo‘ladigan fikr va larning implikativ bog‘lanishidan sodir bo‘lgan fikrdir. U o‘zbek tilidagi « agar ... bo‘lsa, u xolda ... bo‘ladi» bog‘lovchisiga mos keladi.
Test savollari
1. Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘ladi?
a) * 
b) 
c) 
d) 
2. Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘ladi?
a) * 
b) 
c) 
d) 
3. Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘lmaydi?
a) * 
b) 
c) 
d) 
4. Quyidagi belgilar ketma-ketliklarining qaysi biri formula bo‘lmaydi?
a) * 
b) 
c) 
d) 
5.  formulaning barcha qism formulalarini yozing.
a) * 
b) 
c) 
d) 
6. formulaning barcha qism formulalarini yozing.
a) * 
b) 
c) 
d) 
7. Quyidagi ikki o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlanmasida 1 qiymat qabul qiladi? 
a) 1
b) 2
c) 3
d) * 4
8. Quyidagi ikki o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlanmasida 1 qiymat qabul qiladi? (
a) 1
b) * 2
c) 3
d) 4
 
9. uch o‘zgaruvchili qiymatlarining nechta tanlanmasida 1 qiymat qabul qiladi?
a) * 1
b) 3
c) 6
d) 8
10. Quyidagi ikki o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlamasida 0 qiymat qabul qiladi? 
a) * 0
b) 2
c) 4
d) 1
11.  uch o‘zgaruvchili formula o‘zgaruvchilar qiymatlarining nechta tanlamasida 0 qiymat qabul qiladi?
a) 3
b) * 2
c) 8
d) 5