Ызбекистон Республикаси Давлат соли= =ымитаси

 

Implikativ mulohazaning chinlik jadvali 

 

p 

q 

p →q 

chin 

chin 

chin 

chin 

yolg‘on  yolg‘on 

yolg‘on 

chin 

chin 

yolg‘on  yolg‘on 

chin 

 

Ekvivalentlik  mulohazalari  «agar  va  faqat  agar  ...  unda» 

mantiqiy  bog‘lovchisi  yordamida  ikki  oddiy  mulohazaning  o‘zaro 

bog‘lanishidan  hosil  bo‘ladi.  Tabiiy  tilda  ekvivalentlik  mulohazasi 

shartli mulohaza ko‘rinishida ifodalanadi. Bunday holatlarda shartli 

mulohazaning ekvivalent mulohaza ekanligini aniqlash zarur bo‘ladi. 

Agar  shartli  mulohazaning  asosi  natijada  qayd  etilgan  fikr  uchun 

zaruriy  va  yetarli  shart  hisoblansa,  unda  bu  mulohaza  ekvivalent 

mulohaza  bo‘ladi.  Ekvivalent  mulohazaning  mantiqiy  bog‘lovchisi 

(



)  yoki  (↔)  simvoli,  ya’ni  (moddiy)  ekvivalentlik  belgisi  bilan 

ifodalanadi.  Ekvivalent  mulohazaning  formulasi  quyidagicha 

yoziladi:p  ↔  q. Bu  mulohazani ikki qismga  ajratish mumkin:  p → 

q&q→p. Masalan, Agar berilgan butun son juft son bo‘lsa, unda u 

ikkiga qoldiqsiz bo‘linadi. 

Ekvivalent  mulohazaning  asosi  va  natijasi  chin  bo‘lganda 

yokiasosi  ham,  natijasi  ham  yolg‘on  bo‘lganda,u  chin  hisoblanadi. 

Shartli va ekvivalent mulohazani bir-biridan farqlash uchun asos va 

natijaning o‘rni almashtirib ko‘riladi. Agar natija bo‘lgan mulohaza 

asos mulohaza uchun sabab bo‘lmasa, u holatda ekvivalent mulohaza 

bo‘lolmaydi.

1

 

Quyidagi  shartli  mulohazaning  asos  va  natija 

qismlarini  o‘zgartiramiz:  “Agar  insonning  fikr  doirasi  keng  bo‘lsa, 

unda  u  ko‘p  mutoala  qilgan  bo‘ladi.”  “Agar  inson  ko‘p  mutoala 

qilgan  bo‘lsa,  unda  uning  fikr  doirasi  keng  bo‘ladi.”  Inson  fikr 

doirasining  keng  bo‘lishi  faqat  ko‘p  mutoala  qilishiga  emas,  balki 

                                                 

1

 Look: Restall G. Logic

.

 Аn  introduction.Рublished in the Taylor & Francis e-Library, 2006. р.18. 

---

415 

hayot  tajribasiga,  tafakkurlash  qobiliyatiga  ham  bog‘liq.  Demak, 

berilgan mulohaza ekvivalent mulohaza emas.