(?)eşdeğerliğini kullanarak kanıtlanacak şeyin doğru olmadığı varlandığında, varsayımın da doğru olmadığı sonucuna gidileceğinin gösterilmesiyle yapılan kanıtlanım. a. bk. olmayana ergiyle kanıtlanım, Karşılaştırınız. dolaysız kanıtlanım.
TDK Matematik Terimleri Sözlüğü