Mulohaza. Mulohazalar ustida mantiqiy amallar. Formulalar. TENG KUCHLI Formulalar. Aynan chin, aynan yolg’on va bajariluvchi formulalar

ekvivalensiyasi deb ataladi.

“Berilgan mulohazalarning ekvivalensiyasi bu mulohazalarga ekvivalensiya amalini qo‘llab hosil qilindi” deb aytish mumkin. Ekvivalensiya amali 2- jadvalda ifodalangan binar amaldir. Ekvivalensiya amalini belgilashda “ “ (yoki “ ”) belgidan foydalaniladi. Berilgan va elementar mulohazaning ekvivalensiyasi (yoki ) kabi yoziladi va “ ekvivalent ” deb o‘qiladi. va mulohazaning ekvivalensiyasiga “ bo‘lsa (bajarilsa), bo‘ladi (bajariladi) va bo‘lsa, bo‘ladi” degan mulohaza mos keladi. Demak, va elementar mulohazaning ekvivalensiyasi ikkita va implikatsiyalarning kon’yunksiyasi ko‘rinishida ham ifodalanishi mumkin. Shuning uchun ekvivalensiya ikki tomonli implikatsiyadir. ekvivalensiyaga “ dan kelib chiqadi va dan kelib chiqadi” degan mulohazani ham mos qo‘yish mumkin. Boshqacha so‘zlar bilan aytganda, ekvivalensiyaga matematikada zaruriy va yetarli shartni ifodalovchi tasdiq mos keladi.

7- jadval
yo	yo	ch
yo	ch	yo
ch	yo	yo
ch	ch	ch

Berilgan va mulohazalarning ekvivalensiyasi uchun chinlik jadvali 7- jadval bo‘ladi (2- jadvalning , va ustunlariga qarang).