Dalam logika dan matematika, bukti dengan kontradiksi adalah bentuk bukti yang menetapkan kebenaran atau validitas proposisi, dengan menunjukkan bahwa dengan asumsi proposisi menjadi mengarah ke dalam kontradiksi . p>
Bagaimana Anda menggunakan bukti dengan kontradiksi?
Langkah -langkah yang diambil untuk bukti dengan kontradiksi (juga disebut bukti tidak langsung) adalah:
Mengapa bukti dengan kontradiksi buruk?
Satu alasan umum untuk menghindari bukti dengan kontradiksi adalah sebagai berikut. Ketika Anda membuktikan sesuatu dengan kontradiksi, yang Anda pelajari adalah bahwa pernyataan yang ingin Anda buktikan benar . Ketika Anda membuktikan sesuatu secara langsung, Anda mempelajari setiap implikasi menengah yang harus Anda buktikan di sepanjang jalan.