Pembuktian melalui kontradiksi itu apa sih?

Pembuktian melalui kontradiksi (, 'reduksi ke yang absurd', , 'bukti oleh kontradiksi'), adalah argumen logika yang dimulai dengan suatu asumsi, lalu dari asumsi tersebut diturunkan suatu hasil yang absurd, tidak masuk akal, atau kontradiktif, sehingga dapat diambil kesimpulan bahwa asumsi tadi adalah salah (dan ingkarannya benar). Dalam disiplin matematika dan logika, pembuktian melalui kontradiksi merujuk secara khusus kepada argumen dimana sebuah kontradiksi dihasilkan dari suatu asumsi (sehingga membuktikan asumsi tadi salah)

Argumen ini menggunakan hukum non-kontradiksi - yaitu suatu pernyataan tidak mungkin benar dan salah sekaligus. Frase Latin

berasal dari frasi Yunani  yang berarti sama, digunakan oleh filsuf Aristoteles.