'''Pembuktian melalui kontradiksi''' ({{lang-la|'''reductio ad absurdum'''}}, 'reduksi ke yang [[absurd]]', '''{{lang-en|'''proof by contradiction'''}}, ''bukti oleh kontradiksi'), adalah [[argumen logika]] yang dimulai dengan suatu asumsi, lalu dari asumsi tersebut diturunkan suatu hasil yang absurd, tidak masuk akal, atau [[kontradisi|kontradiktif]], sehingga dapat diambil kesimpulan bahwa asumsi tadi adalah salah (dan [[ingkaran]]nya 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
