Olmayana Ergi Yöntemi (Reductio ad absurdum)
MsXLabs.org & MORPA Genel Kültür Ansiklopedisi
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;
MsXLabs.org & MORPA Genel Kültür Ansiklopedisi
Sponsorlu Bağlantılar
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.
theMira