Mulohaza va mantiqiy bog‘lovchilar

algebrasida o’rganiladi. Mulohazalar algebrasi va mulohazalar mantig’i 

atamasi  bir-biri  bilan  sinonim.  Chunki  ularning  har  ikkalasi  ham 

mulohazalarni  ikki  nuqtai  nazardan  ifodalaydi.  Mantiqiy  amallar  5  ta 

bo’lib, ularga quyidagilar kiradi:

 

1. Inkor amali. Istalgan x o’zgaruvchi mulohaza bilan x mulohaza 

shu bilan xarakterlanadiki, x mulohazaning inkori deb atalgan x mulohaza 

chin qiymatni qabul qilganda, x mulohaza o’lg’on qiymatni qabul qiladi 

va aksincha. Mulohaza mantig’ining bu eng sodda amali inkor amali deb 

yuritiladi va uni oddiy tilda emas sifatdoshi bilan ifodalash mumkin. Bu 

amal matematik mantiqda “-” bilan ifodalanadi. Agar biror x mulohaza 

(bugun havo issiq) bo’lsa, x mulohaza yangi murakkab mulohaza bo’lib 

(bugun  havo  issiq  emas)dan  iborat  bo’ladi.  Shu  asosda  inkor  amalini 

quyidagi chinlik jadvali asosida tushunish mumkin:

 

                            X X_

 

                            ch(1) yo(0)

 

                            yo(0) ch(1)

 

bu jadval juda oson va qulay bo’lib, matematik mantiqning boshqa 

bo’limlarida ham ishlatiladi.

 

2. Kon’yunksiya  amali. Mantiqiy  ko’paytma  amali  x  va  y 

mulohazalar  ustida  bajariladigan  kon’yunksiya  (bog’lash)  amali  mana 

bunday  belgilanadi.  va  bu  amal  natijasida  hosil  bo’lgan,  yangi, 

murakkab mulohaza quyidagi ko’rinishga ega bo’ladi.: x 

 

y