Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

O. Ba‟zi faylasuflar mantiqShunos emas. 
E.Hech bir mantiqShunos faylasuf emas.
YOki
O. Ba‟zi mantiqShunoslar faylasuf emas. 
Har ikki holatda ham xulosa noto‗g‗ridir. 
Demak, almashtirish usuli qo‗llanilganda mulohazadagi su‘bekt 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) sub‘ekti asos mulohaza 
predikatiga zid, predikati esa uning sub‘ektiga mos bo‗ladi:
S-PG„P-S
Bunda xulosada 
S
ning inkor shaklida bo‗lishi xulosa bog‗lovchisining inkor etilishi 
natijasidir. Predikatda qarama-qarshi qo‗yishda