Pembuktian melalui kontradiksi

Pembuktian melalui kontradiksi (bahasa Latin: reductio ad absurdum, 'reduksi ke yang absurd), 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 reductio ad absurdum berasal dari frasi Yunani ἡ εἰς ἄτοπον ἀπαγωγή yang berarti sama, digunakan oleh filsuf Aristoteles.