Muloxaza. Xulosa chikarish

II. Almashtirish (lot.–conversio) shunday mantiqiy xulosa chiqarish usuliki, unda xulosa berilgan mulohazadagi subyekt va predikatning o’rnini almashtirish orqali keltirib chiqariladi.
Almashtirishda berilgan mulohazadagi terminlar hajmi e’tiborga olinishi shart.

		Xulosa asosi		Xulosa	Almashtirish turi
1	A	Hamma S-P	A	Hamma P-S	Sof almashtirish
2	Ye	Hyech bir S-P emas	Ye	Hyech bir P- S emas	Sof almashtirish
3	I	Ba’zi S-P	I	Ba’zi P - S	Sof almashtirish
4	A	Hamma S-P	I	Ba’zi P - S	Toraytirilgan almashtirish
5	I	Ba’zi S-P emas	A	Hamma P - S	Kengaytirilgan almashtirish

Juz’iy inkor mulohazadan (0) almashtirish usuli bilan xulosa chiqarib bo’lmaydi.
Almashtirishga misol:
A.Hamma shifokorlar oliy ma’lumotlidir.
I. Ba’zi oliy ma’lumotlilar shifokorlardir.
Demak, almashtirish usuli qo’llanilganda mulohazadagi subyekt va predikat hajmi aniqlanadi va shu asosda mulohazadagi terminlarning o’rni almashtirilib, xulosa chiqariladi. Bu usul, ayniqsa, tushunchaga berilgan ta’riflarning to’g’riligini aniqlashda muhim ahamiyatga ega.
III. Predikatga qarama-qarshi qo’yish (lot.– contrapositio) bevosita xulosa chiqarishning mantiqiy usullaridan biri bo’lib, bu usul qo’llanilganda berilgan mulohaza avval aylantiriladi, so’ngra almashtiriladi. Natijada hosil qilingan mulohazaning (xulosaning) subyekti asos mulohaza predikatiga zid, predikati esa uning subyektiga mos bo’ladi:

Bunda, xulosada S ning inkor shaklida bo’lishi xulosa bog’lovchisining inkor etilishi natijasidir. Predikatga qarama-qarshi qo’yishda A-Ye ga, Ye-I ga, 0-I ga o’zgaradi.
Turli mulohazalardan bu usul vositasida xulosa chiqarish quyidagi shaklda ko’rsatilgan:

		Xulosa asosi	Xulosa
1	A	Hamma S-P	Hyech bir R emas S emas
2	Ye	Hyech bir S - P emas	Ba’zi R emas S dir
3	O	Ba’zi S - P emas	Ba’zi R emas S dir

Masalan:
1. A. Hamma musulmonlar Islom diniga e’tiqod qiladilar.Islom diniga e’tiqod qilmaydiganlar musulmon emas.

Juz’iy tasdiq (I) mulohazadan predikatga qarama-qarshi qo’yish usuli bilan xulosa chiqarib bo’lmaydi. Chunki, «Ba’zi S-P mulohazani aylantirsak «Ba’zi S-P mas emas», ya’ni juz’iy inkor hukm kelib chiqadi. Undan almashtirish orqali xulosa chiqarib bo’lmaydi.