Contoh lain

Validkah argumen Susi? Susi menarik kesimpulan berdasarkan aturan 2.

Susi melakukan kesalahan ketika menyimpulkan L**. Ia melakukan kesesatan berpikir yang disebut kesesatan invers, seperti pada contoh berikut ini:

Apakah Joni pasti tidak berkaki dua? Bagaimana jika Joni ternyata monyet? Bagaimana jika Joni ternyata bebek? Masih bisa berkaki dua, bukan?

Ini juga berdasarkan natur dari implikasi. Kalimat tersebut hanya berbicara keadaan seandainya Joni manusia. Kalimat tersebut tidak membicarakan seandainya Joni bukan manusia. Sehingga ketika diketahui bahwa Joni bukan manusia, berarti konsekuennya bisa benar bisa salah.

Ada dua kemungkinan:

bisa juga

Sehingga kalau kita terburu-buru menyimpulkan bahwa Joni tidak berkaki dua, penarikan kesimpulan kita tidak valid.

Argumen Susi juga demikian. Ia terlalu terburu-buru mengambil kesimpulan.

Kalau begitu, bagaimana kita akan menjawab pertanyaan itu? Apakah Titanigo mengungu Amburegul?

Kita dapat menggunakan pembuktian tak langsung. Asumsikan bahwa Titanigo mengungu Amburegul.

Kemudian kita periksa konsekuensinya.

Sampai di sini agak mirip dengan argumen Susi, bukan? Mari kita lihat kelanjutannya.

Ini adalah argumen yang valid.

Ternyata, asumsi bahwa Titanigo mengungu Amburegul menelurkan kesimpulan Amburegul mengungu Titanigo.

Tunggu dulu ...

Teorema 9 menyatakan bahwa Amburegul tidak mengungu Titanigo. Berarti kedua pernyataan ini kontradiksi.

Agar sistem tetap konsisten, maka salah satu dari mereka harus dibuang. Yang manakah? Teorema 9 dihasilkan dengan pembuktian yang valid. L** juga dihasilkan dengan pembuktian yang valid. Bedanya adalah L** lahir dari teorema ngasal N10. Jadi N10 adalah sumber kecelakaan kita, yang perlu dibuang.

Berarti, N10 salah. Akibatnya kita harus mengatakan bahwa sebaliknyalah yang benar. Inilah teorema 10.

Jadi sekarang kita sudah memiliki 3 aksioma dan 10 teorema.

Ada tiga pertanyaan lagi yang masih bisa diajukan, yaitu:

• Apakah Titanigo mengungu Bahrelway?
• Apakah Titanigo mengungu Emeseyu?
• Apakah Emeseyu mengungu Titanigo?

Saya beri bocorannya. Jawaban ketiga pertanyaan tersebut adalah tidak. Namun pembuktiannya dipercayakan kepadamu. Cobalah dengan metode pembuktian langsung maupun tak langsung dan rasakan bedanya.

Dengan mendapatkan jawaban untuk keenambelas pertanyaan yang mungkin diajukan mengenai relasi mereka, berarti graf lengkapnya adalah seperti ini:

Untuk memahami lebih dalam mengenai pembuktian tak langsung, kamu dapat menilik beberapa video berikut ini. Di dalamnya ada pembuktian mengenai irasionalitas bilangan \sqrt{2} menggunakan kontradiksi.

Berikutnya: Pengetahuan kita telah berkembang