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. Masalan, Agar berilgan butun son juft son bo‘lsa, unda u ikkiga qoldiqsiz bo‘linadi.
Ekvivalent mulohazaning mantiqiy bog‘lovchisi (↔) simvoli, ya’ni (moddiy) ekvivalentlik belgisi bilan ifodalanadi. Ekvivalent mulohazaning asosi va natijasi chin bo‘lganda yoki ham, natijasi xato 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. Yuqoridagi shartli mulohazaning asos va natija qismlarini o‘zgartiramiz: Agar insonning fikr doirasi keng bo‘lsa, unda u ko‘p mutolaa qilgan bo‘ladi. Inson fikr doirasining keng bo‘lishi faqat ko‘p mutolaa qilishiga emas, balki hayot tajribasiga, tafakkurlash qobiliyatiga ham bog‘liq. Demak, berilgan mulohaza ekvivalent mulohaza emas.
Do'stlaringiz bilan baham: |