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

Formula va teng kuchlilik tushunchalari
Oldingi paragrafda asosan mantiqiy amallar o‘rganildi. Endi mantiqiy amallar orasidagi bog‘lanishlar bilan shug‘ullanamiz. Bunday bog‘lanishlardan biri bilan tanishmiz: ekvivalensiya ikki tomonli implikatsiyadir, aniqrog‘i, berilgan va mulohazalarning ekvivalensiyasi ikkita va implikatsiyalarning kon’yunksiyasi shaklida ifodalanadi.

Dastlab mulohazalar algebrasining formula tushunchasiga murojaat qilib, intiutiv ravishda, uni berilgan elementar mulohazalardan inkor, diz’yunksiya, kon’yunksiya, implikasiya, ekvivalensiya mantiqiy amallarining chekli kombinatsiyasi va, zarur bo‘lganda, mulohazalar ustida mantiqiy amallarning bajarilish tartibini ko‘rsatuvchi qavslar vositasida hosil qilingan murakkab mulohaza deb tushunamiz. Bu yerda qavslarni ishlatish qoidalari sonlar bilan ish ko‘ruvchi (oddiy) algebradagidek saqlanadi.