1.2.Formula va teng kuchlilik tushunchasi.
Endi mantiqiy amallar orasidagi bog’lanishlar bilan shug’ullanamiz. Bunday bog’lanishlardan biri bilan tanishamiz: ekvivalensiya ikki tomonli imlikatsiyadir, aniqrog’I, berilgan x va y mulohazalarning ekvivalensiya ikkita va implikatsiyalarning ( kon’yunksiyasi shaklida ifodalanadi.
Dastlab mulohazalar algebrasining formula tushunchasiga murojaat qilib, intuitive ravishda, uni berilgan elementar mulohazalardan inkor, diz’yunksiya, kon’yunksiya, implikatsiya, ekvivalensiya mantiqiy amallarning chekli kombinatsiyasi zarur, bo’lganda, mulohazalar ustida mantiqiy amallarningbajarilish tartibini ko’rsatuvchi qavslar vositasida hosil qilingan murakkab mulohaza deb tuwunamiz. Bu yerda qavslarni ishlatish qoidalari sonlar bilan ish ko’ruvchi (oddiy) algebradagidek saqlanadi.
Do'stlaringiz bilan baham: |