Mexanizatsiyalash m u h a n d isl a r iin st it u t I

Ayiruvchi  argumentlash  (isbotlash)da 
tezis  sof  ayiruvchi  mu­
lohazaning  (kuchli  diz’yunktsiyaning)  bir  a’zosi  bolib,  uning 
chinligi  boshqa  a’zolarining  (antitezisning)  xatoligini  ko‘rsatish 
orqali  asoslanadi.  Masalan,  «Bu  xatni  do‘stlarimdan  A,  yo  B, 
yo  С  yozgan»,  degan  fikr  tekshirilib,  «xatni  В  ham,  С  ham 
yozmaganligi»ligi  aniqlanadi  va  shu  tariqa  «Xatni  A  yozgan», 
degan  mulohazaning  chinligi  asoslanadi.  Bu  misolda  isbotlash 
ayiruvchi  — qat’iy  sillogizmning  inkor  etib,  tasdiqlovchi  modusi 
bo‘yicha qurilgan.  Ayiruvchi isbotlashda barcha muqobil variant- 
lar  toliq  olingandagina  xulosa  chin  boladi,  ya’ni  tezis  isbotla­
nadi.