9.3.

Disproof oleh Kontradiksi

Kontradiksi dapat menjadi cara yang sangat berguna untuk menyanggah pernyataan.
Untuk melihat bagaimana prosesnya, misalkan kita ingin menyanggah pernyataan P. Kita tahu
bahwa untuk menyangkal P, kita harus membuktikan ~P. Untuk membuktikan ~P dengan
kontradiksi, didapatkan asumsi ~ ~ P adalah benar dan menyimpulkan sebuah kontradiksi. Dari ~
~ P = P, ini mendapatkan asumsi P benar dan menyimpulkan suatu kontradiksi.
Cara menyangkal P dengan kontradiksi:
Asumsikan P benar, dan simpulkan kontradiksi.

Untuk mengilustrasikan ini, Pada contoh 9.3 tetapi nyatakan disproof dengan kontradiksi. Dalam
hal ini, langkah-langkah yang dikerjakan banyak yang tidak berbeda dengan Contoh 9.3, tetapi
apakah itu jauh lebih efisien karena di sini kita lakukan tidak harus meniadakan dugaan itu.
Contoh 9.5. Disproof the following conjecture

Pembantahan.
Asumsikan kontradiksi bahwa pernyataan tersebut benar.
Misalkan, x bilangan real untuk 𝑥 4 < 𝑥 < 𝑥 2 . Jika x positif, dari pernyataan tersebut didapatkan
bahwa x lebih besar dari pada 𝑥 4 . Semua dibagi dengan x didapatkan
𝑥 4 < 𝑥 < 𝑥 2 (dibagi x)
𝑥 3 < 1 < 𝑥 (dikurangi 1)
𝑥3 − 1 < 0 < 𝑥 − 1
(𝑥 − 1)(𝑥 2 + 𝑥 + 1) < 0 < (𝑥 − 1) (dibagi dengan (𝑥 − 1))
𝑥2 + 𝑥 + 1 < 0 < 1
Hasilnya 𝑥 2 + 𝑥 + 1 < 0. Ini terjadi kontradiksi karena x adalah positif. Maka pernyataan diatas
bernilai salah.