A, B, C,.... muloxazalarni inkor, diz’yunktsiya, kon’yunktsiya, implikatsiya va ekvivalentsiya mantiqiy bog’lovchilar vositasi bilan ma’lum tartibda birlashtirib xosil etilgan murakkab muloxazaga mantiqiy formula deb ataladi. Mantiqiy formulalar tabiiy tildagi muloxazalarning matematik modeli bo’ladi.
Bu tilda sodda darak gaplardan “va”, “yoki”, “agar ....bo’lsa, u xolda...”, “...bo’lishi uchun ... zarur va yetarli” bog'lovchilari yordamida qo’shma gap tuzish demakdir.
Masalan: 1) A: “Talaba Boltayev fizikani o’rganyapti”; B: “Talaba Boltayev matematikani o’zlashtiryapti”, C: “ Talaba Boltayev nufuzli oliygoxga o’qishga kiradi” muloxazalari berilgan bo’lsin.
U xolda quyidagilarga ega bulamiz:
A Ù B: “Talaba Boltayev fizikani o’rganyapti va matematikani
o’zlashtiryapti”.
Dostları ilə paylaş: |