Tolong jelaskan mengenai Penjelasan dari 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.

Suatu pernyataan matematis kadang-kadang dibuktikan dengan cara pembuktian melalui kontradiksi, dengan cara mengasumsikan ingkaran (negasi) dari pernyataan yang hendak dibuktikan, lalu dari asumsi ini diturunkan sebuah kontradiksi. Ketika kontradiksi dapat dicapai secara logika, asumsi tadi telah terbukti salah, sehingga pernyataan tersebut benar.

Pembuktian melalui kontradiksi atau reductio ad absurdum bukanlah sebuah argumen yang salah, sebaliknya jika dilakukan dengan benar merupakan argumen yang sah. Jika pembuktian melalui kontradiksi menghasilkan kesalahan, kesalahan tersebut terletak pada kesalahan pada proses penurunan kontradiksi, bukan pada cara pembuktiannya.