Уз б е к и с т о н р е с п у б л и к а

р—>г
2 ) р—>q
p ^ q ёки [(р—>q)(p—>q)] ->q
Ма ^"Чан:
сал
Агар фикр исботланган булса, унда у чин булади.

www.ziyouz.com kutubxonasi

Агар фикр чин булса, унда уни рад этиб булмайди. Агар фикр исботланган булса, унда уни рад этиб булмайди.
Агар х,аво яхши булса, концертга борамиз.
Агар хаво яхши булмаса хам концертга борамиз.
Концертга борамиз.
Бу турдаги силлогизмларнинг хулосаси шартланган (шартли хукм) булгани учун улардан билиш жараёнида кам фойдаланилади.
Шартли-кдтьий хулоса чикариш деб, катта асоси шартли хукм, кичик асоси оддий катъий хукм булган силлогизмга айтилади. Бундай хулоса чикаришнинг иккита туфи (аник хулоса берадиган) модуси мавжуд:
1.Тасдикловчи модус - modus ponens p->q
Р ёки [(р—>q)Ap]—>q
q
2.Инкор этувчи модус -
modus tollens
p - ^q
д ёки [(p -) q) A?)] ->/>
P
Масалан:
1. А гар ф укаролар жамият конунларига амал килсалар, унда улар эркин булади.
Фукаролар жамият конунларига амал киладилар.
Демак, улар эркин буладилар.
2.Агар меъёр бузилса, унда микдор узгаришлари сифат узгаришларига олиб келади.
Микдор узгаришлари сифат узгаришларига сшиб келмади.
Демак, меъёр бузилмаган.
Шартли - катъий силлогизмнинг хулосаси аник, чин булиши учун куйидаги коидаларга амал килиш зарур:
1.Шартли хукмдаги асоснинг чинлигидан натижанинг чинлиги, натижанинг хатолигидан асоснинг хатолиги ман­ тикан зарурий равишда келиб чикади.
2.Шартли хукмдаги натижанинг чинлиги асоснинг чин­ лигини, асоснинг хатолиги эса натижанинг хам хатолигини исботламайди.
Бу коидалар бузилганда шартли-катъий силлогизмнинг формуласи куйидагича булади:


p^>q P -* ч
q p _
Эх,тимол p Эхтимол q