Zbekiston respublikasi milliy gvardiyasi harbiy-texnik instituti

Ayiruvchi isbotlashda
tezis sof ayiruvchi hukmning (kuchli 
diz‘yunksiyaning
) bir a‘zosi bo‗lib, 
uning chinligi boshqa a‘zolarining (antitezisning) xatoligini ko‗rsatish orqali asoslanadi. Masalan 
«
jinoyatni yo A, yo V, yo S shaxslar sodir etgan
» degan fikr tekshirilib, «
Jinoyatni V shaxs ham, S shaxs 
ham sodir etmaganligi aniqlanadi va Shu tariqa «Jinoyatni A shaxs sodir qilgan
» degan hukmning 
chinligi asoslanadi. Bu misolda ayiruvchi isbotlash ayiruvchiqat‘iy sillogizmning inkor etibtasdiqlovchi 
modusi bo‗yicha ko‗rilgan: 
avbvc; b∩s
a 
Barcha muqobil variantlar to‗liq olingandagina xulosa chin bo‗ladi, ya‘ni tezis isbotlanadi.