Matematik mantiq elementlari(Dizunksiya, konyuksiya,implikatsiya, ekvivalensiya va inkor). Mulohazalar va ular ustida amallar. Predikat. Kvantor. Reja

Mulohaza tushunchasi. Chinlik jadvallari. Mulohazalar ustida logik amallar

Matematik mantiq elementlari(Dizunksiya, konyuksiya,implikatsiya, ekvivalensiya va inkor). Mulohazalar va ular ustida amallar. Predikat. Kvantor.

Reja:

1. 
   
   Mulohaza tushunchasi. Chinlik jadvallari.
   
2. 
   
   Mulohazalar ustida logik amallar.
   
3. 
   
   Predikat va kvantor tushunchasi
   

1. Ma’no jihatdan to’g’ri,chin yoki noto’g’ri yoki yolg’on darak gapni mulohaza deymiz.Mulohazanoing chin yoki yolg’onligini uning qiymati deyiladi.

   
   

Agar mulohazamiz chin bo’lsa 1yoki r , yolg’on bo’lsa o yoki e qiymatni qabul qiladi. Mulohazalarni lotin alfavitining kichik harfi bilan belgilaymiz a,b,c,d,…z

2. Mulohazalar ustida maxsus amallar bajarilib, ularni logik(mantiqiy) amallar deymiz.

   
   

1.Mantiqiy inkor amali.
X o’zgaruvchili mulohaza bilan birga yana shunday o’zgaruvchili mulohaza qaraladiki X rost qiymatni qabul qilganda yolg’on va aksincha X yolg’on qiymatni qabul qilsa rost qiymat qabul qilsa bunday amal mantiqiy inkor amali deyiladi.

X	Y
1	0
0	1

2.Konyuksiya amali. X va Y mulohazalarda ularning har biri rost qiymat qabul qilganda rost, qogan barcha hollarda yolg’on qiymat qabul qiladigan mantiqiy amalga mantiqiy konyuksiya amali deyiladi va X^Y ko’rinishda belgilanadi.

X	Y	X^Y
1	1	1
1	0	0
0	1	0
0	0	0