Ўзбекистон республикаси олий ва ўрта махсус таълим вазирлиги м. Шарипов, Д. Файзихўжаева

Эквивалентлик хукмлари 
«агар ва факат агар ... унда» 
мантиқий боғловчиси ёрдамида 
икки 
одций хукмнинг ўзаро 
богаанишвдан ҳосил бўлади. Табиий тидда эквивалентлик хукми 
шартли хукм кўринишида ифодаланади. Бундай қолатларда 
шартли хукмнинг эквивалент хукм эканлигини аниклаш зарур 
булади. Агар шартли хукмнинг асоси натижада кайд этилган 
фикр учун зарурий ва етарли шарт ҳисобланса, унда бу хукм 
эквивалент хукм бўлади. Масалан, «Агар берилган бугун сон 
жуфт сон булса, унда у иккига коддиқсиз бўлинади».
Эквивалент хукмнинг мантикий боғловчиси (<н>) симво- 
ли, яъни (моддий) эквивалентлик белгиси билан ифодалана­
ди. Эквивалент хукмнинг чин бўлиш шартлари куйидагича:
р
q
p^q
ч ин
ч ин
хато
хато
ч ин
хато
ч ин
хато
ч ин
хато
хато
ч ин
Хукмларнинг инкор килиниши. 
Икки ҳукм бир-бирига 
зид бўлиб, улардан бири албатта, чин, бошкаси хато бўлса, 
бу ҳукмлар бир-бирини инкор килувчи ҳукмлар бўлади. 
Инкор килинаётган хукм чин бўлса, инкор килаётган ҳукм 
хато бўлади. Инкор килинаётган хукм хато бўлса, инкор 
килаётган хукм чин бўлади. Куйидаги хукмлар бир-бирини 
инкор килади:
1.A-О . Ҳамма ўзбек аёллари олий маълумотли (хато).
Баъзи ўзбек аёллари олий маълумотли (чин).
2.E-I. Ҳеч бир инсон тош эмас (чин).
Баъзи инсонлар тошдир (хато).
Хукмларни предикатнинг субъектга тааллукли эмасли­
гини кўрсатиш ва ҳукмни хато деб кўрсатиш оркали 
инкор килиш мумкин. Биринчиси ички инкор, иккинчиси 
ташки инкор дейилади.
Масалан:
Баъзи талабалар аълочи эмас (ички инкор).
Куёшнинг Ер атрофида айланиши - нотўғри фикрдир 
(ташки инкор).
Конъюнктив ва дизъюнктив хукмлар инкор килинганда 
уларнинг мантикий боғламалари алмашади ва таркибидаги 
оддий ҳукмлар инкор килинади.
1) Айирувчи ҳукмни инкор килиш.

---

Мен дарсдан сўнг ё кутубхонага, ё дўстимникига бо­
раман. Мен дарсдан сунг кутубхонага хам, дўстимникига 
*ам бормадим. 
p v q = p ^
2) Айирувчи инкор хукмни инкор килиш.
«Хунар ўрганмаган ёки илм олмаган инсонлар қаётда 
ўз ўрнини топмайди». «Хунар ўрганган, илм олган 
инсонлар ҳаётда ўз ўрнини топади». 
р V q = p A q
3) Бирлаштирувчи хукмни инкор килиш.
«Ҳалол ва виждонли одамлар ахлокпи бўладилар». «Ҳалол 
бўлмаган ёки виждонли бўлмаган одамлар ахлоқсиз бўладилар».
p A q = p v q
4) Бирлаштирувчи инкор хукмни инкор килиш.
«Аълочи ва жамоатчи бўлмаган талабалар танловда
иштирок этмайдилар». «Аълочи ёки жамоатчи бўлган та­
лабалар танловда иштирок этадилар». 
р