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.
3x= 13-1 3x = 12 x=4 ozaman böyle ispatlayabiliriz
