Transport vazirligi

Hukmlar tuzilishiga ko‘ra oddiy va murakkab bo‘ladi. Oddiy hukm deb, tarkibidan yana bir hukmni ajratib bo‘lmaydigan mulohazaga aytiladi.
Mulohaza (hukm) tarkibida mantiqiy ega va mantiqiy kesimni ajratib ko‘rsatish mumkin. Mantiqiy ega – sub’ekt (S) fikr qilinayotgan predmet va hodisani bildiradi. Mantiqiy kesim – predikat (P) predmet xususiyatini, munosabatini bildiradi. Hukmning sub’ekt va predikati uning terminlari deb ataladi.
Hukmning uchinchi zaruriy elementi mantiqiy bog‘lamadir. U sub’ekt va predikatni bir-biri bilan bog‘laydi, natijada hukm hosil bo‘ladi. Oddiy qat’iy hukmning formulasi quyidagicha yoziladi: S-P.
Oddiy hukmlar sifati va miqdoriga ko‘ra turlarga bo‘linadi. Sifatiga ko‘ra, tasdiq va inkor hukmlar farqlanadi.
Mulohazalarning to‘g‘ri yoki noto‘g‘riligini aniqlashda va ba’zi boshqa holatlarda oddiy hukmlarning miqdor va sifati bo‘yicha birlashgan klassifikatsiyasi (asosiy turlari)dan foydalaniladi. Ular quyidagilardan iborat:

1. 
   Umumiy tasdiq hukmlar. Ular bir vaqtning o‘zida ham umumiy, ham tasdiq bo‘lgan fikrni ifodalaydi. Masalan, «Hamma talabalar mantiq ilmini o‘rganadilar». Bu hukmlar lotin alifbosidagi A harfi bilan belgilanadi va «Hamma S–Pdir» formulasi orqali ifodalanadi.
   

Umumiy inkor hukmlar bir vaqtning o‘zida ham umumiy, ham inkor bo‘lgan fikrni ifodalaydi. Masalan, «Hech bir ishbilarmon rejasiz ish yuritmaydi». Bu hukm «Hech bir S–P emas» formulasi orqali ifodalanadi va lotincha E harfi bilan belgilanadi.
. A – Umumiy tasdiq hukmlarning sub’ekti hamma vaqt to‘liq hajmda olingan bo‘ladi. Juz’iy tasdiq hukmlar bir vaqtning o‘zida ham juz’iy, ham tasdiq bo‘lgan fikrni ifodalaydi. Masalan, «Ba’zi talabalar mas’uliyatli». U lotincha I harfi bilan belgilanadi va «Ba’zi S–Pdir» formulasi orqali ifodalanadi.
Juz’iy inkor hukm bir vaqtning o‘zida ham juz’iy, ham inkor bo‘lgan fikrni ifodalaydi. Masalan, «Ba’zi talabalar sport bilan shug‘ullanmaydilar». Uning formulasi «Ba’zi S–P emas» bo‘lib, lotincha O harfi bilan belgilanadi.
Murakkab hukmlar: Hukm terminlari birdan ortiq bo‘lsa, murakkab hukm deb ataladi. Murakkab hukmlar «va», «yoki», «agar... unda» kabi mantiqiy bog‘lamalar, inkor qilish va modal terminlarni qo‘llash orqali ikki va undan ortiq oddiy hukmlarning o‘zaro birikishidan hosil bo‘ladi. Mantiqiy bog‘lovchining mazmuniga ko‘ra murakkab hukmlarning quyidagi asosiy turlarini farq qilish mumkin: birlashtiruvchi, ayiruvchi, shartli, ekvivalent.