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

**Prof. Dr. Sinsi** · 12-19-2012

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

12-19-2012	#1
Prof. Dr. Sinsi	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 [(x29) ? (x3)] ö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