Hukmning tarkibi va xususiyatlari Reja Oddiy hukmlarning son va sifat jihatidan bo’linishi. Murakkab hukmlar va ularning turlar

2. Fikrning isbotlanuvchanlik darajasiga qarab hukmning mantiqiy modalligi ikki asosiy qismga: a) problematik va b) ishonchliga bo’linadi.
a) Mantiqiy modallikdagi problematik hukm o’z xususiyatlari bilan ob'ektiv modallikdagi extimoliy hukmlardan ajraladi. Ob'ektiv modallikdagi problematik hukm tajribadan tekshirilgan bo’lib, uning yukorida bayon etilgandek, voqelikka o’tishi, ya'ni ob'ektiv voqelikni aks ettirishi muqarrardir.
Mantiqiy modallikdagi problematik hukmning xulosasi hali tajribada tekshirilmagan bo’ladi. Shuning uchun ham narsa, xodisa va ular belgisi orasidagi bog’lanish tasdiq yoki inkor problematik shaklda ifodalanadi. Shuning uchun mantiqiy modallik shaklidagi problematik hukm: tasdiq shaklida «ehtimol S – P dir» va rad etuvchi shaklda «ehtimol S – P emas» formulalaridan foydalaniladi.
b) Ishonchli hukmlar tafakkur premetlari uchun ma'lum xususiyatni – belgining xos yoki xos emasligini aniqlaydi. Bunday hukmlar “S – P dir” yoki “S – P emas” formulalari bilan ifodalanadi.
Murakkab hukmlar va ularning turlari.
Biz shu vaqtga qadar, sodda hukmlar, ya'ni bir sub'ekt va predikatdan iborat bo’lgan hukmlar ustida fikr yuritdik. Agar hukm tarkibida birdan ortiq sub'ekt va predikat bo’lsa, u murakkab hukm xisoblanadi. Mantiqiiy munosabatiga qarab murakkab hukmlar uch asosiy qismga, ya'ni qo’shuvchi (kon'yunktiv), ayiruvchi (diz'yunktiv), shartli (implikativ), va ekvivalentlik hukmlarga ajraladi.
a) qo’shuvchi (kon'yunktiv) hukmlar. Ikki yoki undan ortio` sodda hukmlarning «va» bog’lovchisi yordamida qo’shiluvidan tashkil topgan murakkab hukmlar qo’shiluvchi (kon'yuktiv) hukmlar deb yuritiladi. qo’shuvchi murakkab hukmlar formal mantiq fanida qo’yidagi simvollar bilan ifodalanadi: p(q Masalan, Alisher Navoiy va Z.M. Bobur o’zbek mumtoz adabiyoti vakillaridir.

P	q	P q
CHin CHin Xato xato	CHin Xato CHin xato	CHin Xato Xato Xato

b) Ayiruvchi (diz'yunktiv) hukmlar. Bunday hukmlarning sub'ekti yoki predikati bir necha narsalar, xodisalarni yoki ularning belgilarini ifodalashi mumkin. Uning formulasi formal mantiqda qo’yidagicha ifodalanadi: pvq. Ayiruvchi hukmlar formulasi qo’yidagi shakllarda ifodalanadi: