Pembuktian melalui kontradiksi

Dalam disiplin logika formal, pembuktian melalui kontradiksi digunakan ketika sebuah kontradiksi (formal) dapat dihasilkan dari suatu premis, sehingga dapat disimpulkan bahwa premis tersebut salah. Jika kontradiksi tersebut dihasilkan dari beberapa (lebih dari satu) premis, kesimpulannya adalah satu atau lebih dari premis tersebut adalah salah. Dalam kasus terakhir, metode lain harus digunakan untuk membuktikan premis mana saja yang salah.