pembuktian tak langsung

(terbalik) adalah pembuktian dengan pemisalan ingkaran pernyataan yang akan

dibuktikan tadi sebagai hal yang benar, namun dengan langkah-langkah yang
logis, pemisalan ini mengarah ke suatu keadaan yang kontradiktif, sehingga
pemisalan tersebut dinyatakan sebagai hal yang salah. Artinya negasi dari negasi
pernyataan tersebut sebagai hal yang
benar. Kesimpulan akhirnya,
pernyataan yang akan dibuktikan
tersebut merupakan pernyataan yang
benar.