Baca juga: Kecerdasan Buatan Bertemu Manusia: Peran Krusial Engineer Interaksi Multimodal
Bagaimana Pembuktian Kontradiksi Bisa Membuktikan Sesuatu?
Metode pembuktian dengan kontradiksi adalah seni membuktikan sesuatu dengan cara yang tampak berputar-putar, namun justru itulah keindahannya. Kuncinya terletak pada asumsi awal yang kita buat. Ketika kita ingin membuktikan proposisi P, alih-alih langsung mencari bukti untuk P, kita malah memulai dengan menyatakan "bukan P" atau kebalikan dari P. Kemudian, kita menggunakan aturan-aturan logika dan definisi matematika yang sudah teruji kebenarannya untuk menarik kesimpulan dari asumsi "bukan P" ini. Jika dari serangkaian langkah logis tersebut kita sampai pada sebuah pernyataan yang jelas-jelas salah atau bertentangan dengan prinsip yang sudah diketahui benar (kontradiksi), maka seluruh rantai penalaran yang berawal dari "bukan P" menjadi tidak valid. Dalam dunia logika, jika sesuatu itu tidak bisa salah, maka ia harus benar. Oleh karena itu, kesimpulan logisnya adalah bahwa asumsi awal kita ("bukan P") pasti salah, yang berarti P adalah benar.Apa Contoh Nyata Pembuktian Kontradiksi yang Populer?
Salah satu contoh paling klasik dan sering dikutip dari pembuktian dengan kontradiksi adalah pembuktian bahwa akar kuadrat dari 2 (√2) adalah bilangan irasional. Bilangan irasional adalah bilangan yang tidak dapat dinyatakan sebagai pecahan sederhana a/b, di mana a dan b adalah bilangan bulat. Mari kita gunakan metode kontradiksi. 1. Asumsikan kebalikannya: Anggaplah √2 adalah bilangan rasional. Ini berarti √2 dapat ditulis sebagai a/b, di mana a dan b adalah bilangan bulat yang tidak memiliki faktor persekutuan selain 1 (mereka saling prima). 2. Tarik kesimpulan logis: Jika √2 = a/b, maka dengan mengkuadratkan kedua sisi, kita dapatkan 2 = a²/b². Ini bisa ditulis ulang menjadi 2b² = a². 3. Temukan kontradiksi: Pernyataan 2b² = a² memberitahu kita bahwa a² adalah bilangan genap (karena kelipatan 2). Jika a² genap, maka a juga harus genap. Jika a genap, maka a bisa ditulis sebagai 2k, di mana k adalah bilangan bulat. Substitusikan a = 2k ke dalam persamaan 2b² = a²: 2b² = (2k)² 2b² = 4k² b² = 2k² Ini berarti b² juga merupakan bilangan genap. Dan jika b² genap, maka b juga harus genap. Nah, di sinilah kontradiksinya muncul! Kita memulai dengan asumsi bahwa a dan b adalah bilangan yang saling prima (tidak memiliki faktor persekutuan selain 1). Namun, dari penalaran kita, ternyata a genap dan b juga genap. Ini berarti keduanya memiliki faktor persekutuan 2, yang bertentangan dengan asumsi awal kita. Karena asumsi awal bahwa √2 adalah rasional membawa kita pada sebuah kontradiksi, maka asumsi tersebut pasti salah. Oleh karena itu, √2 haruslah bilangan irasional. Sederhana namun sangat kuat, bukan?Mengapa Pembuktian Kontradiksi Penting dalam Matematika dan Logika?
Pembuktian dengan kontradiksi bukan sekadar cara alternatif untuk membuktikan sesuatu; ia adalah alat yang sangat berharga yang menunjukkan kekuatan deduksi logis. Metode ini memungkinkan kita untuk menaklukkan masalah yang tampaknya rumit dengan cara memecahnya menjadi asumsi yang lebih kecil dan lebih mudah dikelola. Ini juga membantu kita untuk memahami batasan-batasan dari suatu konsep atau sistem. Ketika kita tidak dapat membuktikan sesuatu secara langsung, mencoba membuktikan kebalikannya dan menemukan kontradiksi adalah jalan keluar yang elegan. Lebih dari itu, pembuktian kontradiksi melatih pikiran kita untuk berpikir kritis dan sistematis. Kita belajar untuk tidak mudah menerima sesuatu begitu saja, melainkan menelusuri akar logisnya. Dalam kehidupan sehari-hari pun, prinsip ini bisa diterapkan. Ketika dihadapkan pada sebuah argumen yang meyakinkan, kita bisa mencoba membayangkan skenario terburuk jika argumen itu benar, dan melihat apakah ada sesuatu yang terasa tidak masuk akal.Baca juga: Kuasai Pangkat Cepat: Soal Latihan Mudah & Menarik
Penulis: Wilda Juliansyah
