Predikatlar mantiqi an’anaviy formal mantiq singari eleinentar mulohazani subyekt va predikat qismlarga bo‘ladi.
Subyekt — bu mulohazada biror narsa haqida nimanidir tasdiqlaydi;
predikat — bu subyektni tasdiqlash.
Masalan, «5 — tub son» mulohazada «5» — subyekt, «tub son» — predikat. Bu mulohazada «5» «tub son bo‘1ish» xususiyatiga cga ekanligi tasdiqlanadi. Agar keltirilgan mulohazada ma’1uin 5 sonini natural sonlar to‘plainidagi x o‘zgaruvchi bilan almaslitirsak, u holda « x — tub son» ko‘rinishidagi mulohaza shakliga ega bo‘1amiz. x o‘zgaruvchining ba’zi qiymatlari (masalan, x =13, x =3, x =19) uchun bu shakl chin mulohazalar va x o‘zgaruvchining bcshqa qiymatlari (inasalan, x =10, x =20) uchun bu shakl yolg‘on mulohazalar beradi.
Ravshanki, bu shakl bir ( x ) argumentli funksiyani aniqlaydi x a bu funksiyaning aniqlanish sohasi natural sonlar to‘plaini ( N ) hamda qiymatlar sohasi (1, 0} to‘plam bo‘ladi.
Do'stlaringiz bilan baham: |