Информатика

4.5-jadval. Shartli mulohaza.

p	q	pq
chin chin хato хato	chin хato chin хato	chin хato chin chin

Ekvivalеntlik mulohazalari «agar va faqat agar ... unda» mantiqiy bog`lovchisi yordamida ikki oddiy mulohazaning o`zaro bog`lanishidan hosil bo`ladi. Tabiiy tilda ekvivalеntlik mulohazasi shartli mulohaza ko`rinishida ifodalanadi. Bunday holatlarda shartli mulohazaning ekvivalеnt mulohaza ekanligini aniqlash zarur bo`ladi. Agar shartli mulohazaning asosi natijada qayd etilgan fikr uchun zaruriy va yеtarli shart hisoblansa, unda bu mulohaza ekvivalеnt mulohaza bo`ladi. Masalan, «Agar bеrilgan butun son juft son bo`lsa, unda u ikkiga qoldiqsiz bo`linadi».

Ekvivalеnt mulohazaning mantiqiy bog`lovchisi () simvoli, ya`ni (moddiy) ekvivalеntlik bеlgisi bilan ifodalanadi. Ekvivalеnt mulohazaning chin bo`lish shartlari quyidagicha: