reductio ad absurdum

• mevcut ön kabullerimizden bazıları ile bir başka ön kabulümüz ile çelişen bir yargıya vardığımızda, ilgili ön kabullerimizden birinin değillenmesine denir. olay bundan ibarettir.
  
  ö.k. 1: ahmet mavidir.
  ö.k. 2: mavi olan şeyler kızdır.
  ö.k. 3: ahmet erkektir.
  ö.k. 4: erkek olan şeyler 2'ye bölünebilir.
  
  ö.k. 1 ve ö.k. 2: ahmet kızdır.
  
  1,2 ve 3. ö.k. arasında bir çelişki elde edildi.
  bu üçünden birini değilleyebiliriz.
  
  çünkü;
  ya ahmet mavi değildir,
  ya da mavi olan şeyler kız değildir
  ya da ahmet erkek değildir.