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.