1. Тафаккур мантиқ илмининг ўрганиш объекти сифатида. Тафаккур шакллари ва қонунлари xакида тушунча. Формал мантиқнинг предмети ва вазифалари

Эквивалентлик хукмлари «агар ва факат агар унда » мантиқий богловчи ёрдамида икки оддий хукмнинг узаро богланишидан хосил бўлади . Табиий тилда эквивалентлик хукми шартли хукм куринишида ифодаланади .Бундай холатларда шартли хукмнинг эквивалент хукм эканлигини наниклаш зарур бўлади .Агар шартли хукмнинг асоси натижада кайд этилган фикр учун зарурий ва етарли шарт хисобланса ,унда бу хукм эквивалент хукм бўлади. Масалан : «Агар берилган бутун сон жуфт сон булса ,унда укитувчилик иккига колдиксиз булинади » .
Эквивалент хукмнинг мантиқий богловчиси (() символи ,яъни (моддий) эквивалентлик белгиси билан ифодаланади .Эквивалент хукмнинг чин булиш шартлари куйидагича:

P	q	p↔ q
Чин Чин Хато Хато	Чин Хато Чин Хато	Чин Хато Хато Чин

Хукмларнинг инкор килиниши. Икки хукм бир –бирига зид бўлиб, улардан бири албатта чин, бошкаси хато булса, бу хукмлар бир бирини килувчи хукмларбўлади .Инкор килинаётган хукм чин булса, инкор килинаётган хукм хато бўлади. Инкор килинаётган хукм хато бўлса, инкор килинаётган хукм чин бўлади. Куйидаги хукмлар бир –бирини инкор килади:
1.А-О Хамма ўзбек аёллари олий маълумотли (хато )
Баъзи узбек аёллари олий маълумотли (чин )
2. E-I Хеч бир инсон тош эмас (чин)
баъзи инсонлар тошдир (хато )
Хукмларни предикатнинг субъектга тааллукли эмаслигини курсатиш ва хукмни хато деб курсатиш оркали инкор килиш мумкин .Биринчиси ички инкор ,иккинчиси ташки инкор дейилади .
Масалан :
Баъзи талабалар аълочи эмас (ичкиинкор)
Куёшнинг Ер атрофида айланиши –нотўғри фикрдир (ташки инкор ) .
Конъюктив ва дизъюнтив хукмлар инкор килинганда уларнинг мантиқий богламалари алмашади ва таркибидаги оддий хукмлар инкор килинади.

1. 
   Айирувчи хукмни инкор килиш.
   

Мен дарсдан сунг ё кутубхонага хам, дустимникига хам бормадим.
Р Vq ≡ p ^ q

2. 
   Айирувчи инкор хукмни инкор килиш .
   

«Хунар урганмаган ёки илм олмаган инсонлар хаётда уз урнини топмайди». «Хунар урганган, илм олган инсонлар хаётда уз урнини топади».


Р Vq ≡ p ^ q

3. Бирлаштирувчи хукмни инкор килиш.

«Халол ва виждонли одамлар ахлокли бўладилар ». «Халол булмаган ёки виждонли булмаган одамлар ахлоксиз бўладилар».
Р ^q ≡ p V q
4) Бирлаштирувчи инкор хукмни инкор килиш.
«Аълочи ва жамоатчи булмаган талабалар танловда иштирок этмайдилар». «Аълочи ва жамоатчи бўлган талабалар танловда иштирок этадилар ».


Р ^q ≡ p V q

Бу формулалар де-Морган қонунлари деб аталади.

Агар мураккаб хукм таркибида шартли хукм булса., формула унга айнан тенг бўлган импликацияси булмаган бошка формулага алмаштирилади. Масалан , «Агар буш вактим булса, унда телевизор кураман». «Буш вактим бўлди, лекин телевизор курмадим ».