Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

 
Ekvivalentlik hukmlari
«
agar va faqat agar unda
» mantiqiy bog‗lovchi yordamida ikki 
oddiy hukmning o‗zaro bog‗lanishidan hosil bo‗ladi. Tabiiy tilda ekvivalentlik hukmi shartli hukm 
ko‗rinishida ifodalanadi. Bunday holatlarda shartli hukmning ekvivalent hukm ekanligini aniqlash 
zarur bo‗ladi. Agar shartli hukmning asosi natijada qayd etilgan fikr uchun zaruriy va etarli shart 
hisoblansa, unda bu hukm ekvivalent hukm bo‗ladi. Masalan: «Agar berilgan butun son juft son 
bo‗lsa, unda o‗qituvchilik ikkiga qoldiqsiz bo‗linadi » . 
p 
q 
pV q 
Чин 
Чин 
Хато 
Хато 
Чин 
Хато 
Чин 
Хато 
Хато
Чин 
Чин 
Хато 

---

292 
Ekvivalent hukmning mantiqiy bog‗lovchisi (() simvoli, ya‘ni (moddiy) ekvivalentlik 
belgisi bilan ifodalanadi. Ekvivalent hukmning chin bo‗lish shartlari quyidagicha:
p 
q 
p↔ q 
CHin 
CHin 
Xato 
Xato 
CHin 
Xato 
CHin 
Xato 
CHin 
Xato 
Xato 
CHin