Olmayana Ergi Yöntemi (Reductio Ad Absurdum) Nedir?

Bir teoremin yargısının (hüküm) yanlış olduğunu kabul edip savının (hipotez) yanlışlığını kanıtlama yöntemi Matematikte teoremler daima paa q biçiminde yazılabilir p sav, q yargı adını alır Olmayana ergi yöntemi pq_yu kanıtlamak yerine qp_ yü kanıtlamak demektir Örneğin;"Karesi 9'dan farklı bir sayı 3'e eşit olamaz" teoremi, olmayana ergi yöntemine göre "Bir sayı 3'e eşitse karesi 9'dur" teoremine denktir Yani [(x2*9) ? (x*3)] önermesi, [(x=3) ? (x2=9)] önermesiyle aynı özü ifade eder Matematikte bazı teoremler ancak olmayana ergi yöntemiyle kanıtlanabilir "(0,1) aralığındaki gerçel sayılar sayılamaz" teoremi bu türdendir