T o sh k e n t irrig a tsiy a va q ishloq xo‘ja L ig in I

-  asos (antetsedent), 
«unda» so‘zidan keying! 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 
boglam asi  «—>»  belgi  bilan  ifodalanadi.  Hozirgi  zamon  mantiq 
ilmida  esa  ba’zan  (
2
)  simvoli  bilan  belgilanadi.  Bu  simvollar 
moddiy  implikatsiya  belgisi  deb  ataladi.  Implikativ  mulohaza­
ning  formulas!:  p  —>  q.  Implikativ mulohaza  asosi  — chin,  nati- 
jasi  —  yolg‘on  bo lg an   holatdan  boshqa  ham m a  ko‘rinishlarda 
chin boladi.