olmayana ergi

matematikte bir t uzbilim kuramina ’a degil’in eklenmesiyle olusan t’ kurami celiskili oldugunda, a nin bir sav oldugunu belirten kanitlanim yontemi.kisaca olmayan bir seyi ispatlama cabasi.

osmanlıca abese irca, latince saçma olana indirgeme anlamına gelir ve 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 önermeyi 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.