Mexanizatsiyalash m u h a n d isl a r iin st it u t I

— asos (antetsedent), 
«unda» so‘zidan keyingi qismi — 
natija (kon-
 
sekvent) 
deb ataladi.  Mulohaza qismlarining bunday nomlanishi- 
ga sabab ularning turli vazifalarni bajarishlari bilan bogliq.  Agar 
bu  qismlarning  o‘rni  almashsa,  mulohaza ham 
0
‘zgaradi1.  «Agar 
yomg‘ir  yog‘sa,  unda  uylarning  tomi  ho‘l  boladi»  mulohazasida 
«yomglr  yog‘sa»  —  asos,  «uylarning  tomi  h o i  boladi»  — natija 
hisoblanadi.
Demak,  asosda  ko‘rsatilgan  hodisa,  natijada  qayd  etilgan 
hodisaning  kelib  chiqishi uchun yetarli  shartni  ifodalagan mulo­
haza shartli mulohaza  deyiladi.
Implikativ  mulohazalardagi  «agar  ...  unda»  mantiqiy 
boglamasi  «—►
»  belgi  bilan  ifodalanadi.  Hozirgi  zamon  mantiq 
ilmida  esa  ba’zan  (n)  simvoli  bilan  belgilanadi.  Bu  simvollar 
moddiy  implikatsiya  belgisi  deb  ataladi.  Implikativ  mulohaza­
ning  formulasi:  p  —> q.  Implikativ mulohaza  asosi — chin,  nati- 
jasi  —  yolg‘on  bolgan  holatdan  boshqa  hamma  ko£rinishlarda 
chin boladi.