Reductio ad absurdum

Reductio ad absurdum, olmayana ergi ya da Osmanlıca abese irca, Latince saçma olana indirgeme anlamına gelir. Bir iddiayı doğru kabul ederek saçma bir sonuca varıp iddianın yanlış olduğu sonucuna ulaşıldığı bir mantık yöntemidir. Bu yöntemde, yanlış olamayacak bir önermenin zorunlu olarak doğru olduğunu kabul eden üçüncü olanağın dışlanması kanunu kullanılır. Aristo'nun sıkça uyguladığı bir yöntemdir.

Ayrıca bakınız 
 Matematiksel ispat

Matematiksel ispatlar
Matematik terimleri
Latince mantık deyişleri
Söz sanatları