Ўзбекистон республикаси олий ва ўрта махсус таълим вазирлиги тошкент автомобиль-йўллар институти

ѐки тўлалигича ѐки қисман тўлалигича ѐки қисман мос келади. 
Ҳажмига жиҳатидан сиғишадиган ва сиғишмайдиган 
тушунчаларга ажралади. 

Қисман мослик мун.тидаги тушунчалар

Сиғишмайдиган тушунчалар ҳажми жиҳатидан умумийликка
эга бўлмаган тушунчалар ҳисоб, 1 синфга кирувчи ҳар-хил 
предметларнинг гуруҳини акс эттиради. 
Ҳукм
предметга маълум бир хоссанинг, муносабатнинг хослиги ѐки хос 
эмаслигини ифодаловчи тафаккур шаклидир.

---

Оддий ҳукмлар сифати ва миқдорига
кўра турларга бўлинади.
 
 
Сифатига кўра тасдиқ ва
инкор ҳукмлар фарқланади.
Тасдиқ ҳукмларда белгининг 
предметга хослиги, инкор
ҳукмларда, аксинча, хос
эмаслиги кўрсатилади.
Инкор ҳукмлар белгининг 
предметга хос эмаслигини 
инкор этади.
Умумий тасдиқ ҳукмлар. 
Улар бир вақтнинг ўзида
ҳам умумий, ҳам тасдиқ бўлган 
фикрни ифодалайди.
Умумий инкор ҳукмлар бир
вақтнинг ўзида ҳам умумий, ҳам
инкор бўлган фикрни ифодалайди.
Жузъий тасдиқ ҳукмлар бир
вақтнинг ўзида ҳам жузъий, ҳам
тасдиқ бўлган фикрни ифодалайди.
Жузъий инкор ҳукм бир вақтнинг
ўзида ҳам жузъий, ҳам инкор бўлган
фикрни ифодалайди.
Мураккаб ҳукмлар терминлари бирдан ортиқ бўлса
мураккаб ҳукм деб аталади, қуйидаги тулари мавжуд 
Бирлаштирувчи (конъюнктив) ҳукмлар 
деб икки ва ундан ортиқ оддий
ҳукмларнинг «ва» «ҳам», «ҳамда» каби мантиқий боғловчилар воситасида 
ўзаро бирикишидан ҳосил бўлган ҳукмларга айтилади.
 Айирувчи (дизьюнктив) хукм 
деб «ѐ», «ѐки», «ѐҳуд» мантиқий боғламалари 
воситасида оддий ҳукмлардан ташкил топган мулоҳазага айтилади.
 Шартли (импликатив) ҳукм
икки оддий ҳукмнинг «агар... унда»
мантиқий боғламаси орқали бирикишидан ташкил топади.
Эквивалентлик ҳукмлари 
«агар ва фақат агар ... унда» мантиқий 
боғловчиси ѐрдамида икки оддий ҳукмнинг ўзаро боғланишидан
ҳосил бўлади. Табиий тилда эквивалентлик ҳукми шартли ҳукм
кўринишида ифодаланади.