Ada bermacam-macam metode pembuktian. Menurut wikipedia ada 14 metode pembuktian tetapi dari semua metode pembuktian yang ada, saya paling suka dengan metode perbuktian yang disebut “pembuktian dengan kontradiksi” (proof by contradiction). Berdasarkan pengalaman saya banyak teorema-teorema rumit yang dibuktikan melalui metode ini.  Ide dasar dari metode pembuktian ini cukup simple. Kita ingin membuktikan suatu pernyataan  itu benar,? kita tinggal melihat negasi/ ingkaran dari dinotasikan .  Jika itu salah, mustahil atau menyebabkan pertentangan/kontradiksi dengan asumsi2 yang telah diketahui, itu berarti benar. Dalam matematika jika salah maka dengan sendirinya benar, tidak ada pilihan lain begitu juga sebaliknya.

Jadi ada 2 langkah untuk melakukan pembuktian pernyataan dengan metode kontradiksi

1. Negasikan dengan tepat
2. Tunjukan bahwa itu salah mustahil atau menyebabkan pertentangan/kontradiksi dengan asumsi2 yang telah diketahui.

Nah..sekarang kita masuk ke contoh aja yach

Teorema 1: Tidak ada ada bilangan asli yang lebih besar dari semua bilangan bulat lainnya

Bukti

Apa ingkaran dari teorema 1? Ingkarannya adalalah

Bilangan tersebut eksis.

Padahal menurut postulat peano, merupakan bilangan asli. Jadi negasi teorema 1 bertentangan dengan postulat peano maka bisa disimpulkan teorema 1 benar.

***

Contoh lainnya

Teorema 2: Semua bilangan real tak nol mempunyai invers perkalian yang tunggal

(Note: x dikatakan invers perkalian dari y jika xy=1)

Bukti:

Apa ingkaran dari teorema 2? Ingkarannya adalah

Ada bilangan real yang mempunyai invers perkalian yang tidak tunggal

Sebut saja bilangan tersebut x yang mempunyai 2 buah invers perkalian yang berbeda a dan b (a≠b). Diperoleh

ax=1 dan bx=1

ax=bx

bagi kedua sisi dengan x diperoleh

a=b

Padahal kita mensyaratkan a dan b berbeda. Jadi mustahil ada bilangan real yang memepunyai inver perkalian tak tunggal.

***

Implikasi

Jika pernyataan yang hendak kita buktikan berbentuk implikasi maka negasinya ekuivalen dengan , ini bisa kita cek melalui tabel kebenaran. Jadi untuk membuktikan pernyataan berbentuk implikasi dengan metode kontradiksi, kita harus membuktikan salah. Cara terbaik untuk menunjukan salah adalah dengan mengasumsikan benar lalu tunjukan dan saling kontradiksi, saling bertentangan.

Sekarang kita masuk ke contoh yach

Teorema 3: Jika genap maka genap.

Teorema 3 berbentuk implikasi dengan kaliamat A menyatakan genap dan kalimat B menyatakan genap

Bukti: Diketahui genap (kita asumsikan A benar)

Andaikan ganjil (negasi dari B)

Karena ganjil maka bisa ditulis dengan bentuk

dengan bilangan bulat

Diperoleh

Itu berarti ganjil. Kontradiksi dengan asumsi “ genap” karena terjadi kontradiksoi maka dapat disimpulkan teorema 3 benar.

***

Contoh selanjutnya.

Teorema 4: Jika rasional dan irasional maka irasional

Bukti

Diketahui rasional dan irasional

Andaikan rasional

karena rasional maka rasional pula. Penjumlahan 2 bilangan rasional adalah rasional, diperoleh

Itu berari rasional padahal diketahui irasional. Terjadi kontradiksi maka teorema 4 benar.

Harus dinegasikan dengan tepat.

Seperti yang sudah saya katakan diatas, langkah pertama untuk melakukan metode pembuktian dengan kontradiksi adalah menegasikan pernyataan dengan tepat, karna kalau tidak tepat metode tersebut tidak berlaku. Contoh kasus penegasian yang tidak tepat, dilakukan oleh para penganut teori penciptaan (Creationism), mereka berpendapat bahwa teori penciptaan adalah negasi dari teori evolusi. Oleh karena itu mereka sekuat tenaga membuktikan evolusi itu salah, mereka berpendapat jika evolusi salah maka itu membuktikan penciptaan bener. Mereka membuktikan teori penciptaan dengan metode kontradiksi. Nah..sekarang pertanyaannya apakah teori penciptaan adalah negasi dari evolusi? apakah teori evolusi adalah ingkaran dari teori penciptaan?

Nah sekarang mari kita lihat teori penciptaan berkata “mahluk hidup dan segala jenisnya diciptakan oleh sang pencipta secara sempurna” jika kita negasikan maka menjadi “mahluk hidup dan segala jenisnya TIDAK diciptakan oleh sang pencipta secara sempurna”, apakah teori evolusi mengatakan seperti itu? TIDAK!!, evolusi tidak berbicara mengenai sang pencipta, tidak berbicara mengenai bagaimana mahluk hidup diciptakan tetapi berbicara mengenai perubahan sifat-sifat yang diwariskan dalam suatu populasi organisme dari satu generasi ke generasi berikutnya  , tidak ada sangkut-pautnya dengan sang  pencipta atau bagaimana mahluk hidup diciptakan. Jadi jika evolusi salah sekalipun itu sama sekali tidak membuktikan penciptaan karean evolusi bukanlah negasi dari penciptaan.