Terlalu Sederhana

Aturan-aturan Deduksi Alami itu sederhana, bahkan terlalu sederhana yang karena kesederhanaannya itu malah dapat terlihat menjadi rumit atau malah terlihat tidak berguna. 

Kesederhanannya itu seperti perkalian 2x5=10. Karena itu perkalian kecil, mudah diingat, kita tidak perlu metoda lagi untuk pembuktiannya. Namun deduksi alami itu mencoba menguraikan metoda kalkulasi perkalian yang sederhana tersebut. Bagaimana dapat dibuktikan 2x5 = 10? Yaitu dengan menambahkan bilangan 2 sebanyak 5 Kali, 2+2+2+2+2 = 10. Tentu sebelumnya mesti faham hukum penjumlahan dulu.

Demikian pula deduksi alami, ketika ditemukan fakta A dan B, maka dapat disimpulkan B dan A. Kesimpulan ini sederhana atau bahkan sang at sederhana. Semua orang tahu kalau A dan B itu sama saja dengan B dan A. Gak perlu bukti apapun akan kebenarannya. Tapi bagaimana ketika kita ditanya, "Bagaimana metoda penyimpulannya sehingga dari A dan B lahir kesimpulan B dan A?" Di situ akan mulai muncul kebingungan dengan suatu tanya,"Emang ada ya metodanya ? Bukannya itu sudah jelas ? Walaupun ada metodanya, apa itu perlu ? Bukankah tanpa metoda juga kita bisa langsung menyimpulkannya ?" Pertanyaan-pertanyaan seperti ini pula yang muncul dalam benak saya saat memulai mempelajari Deduksi Alami.

Deduksi Alami adalah nalar yang sangat sederhana yang bilamana kita faham hukum-hukumnya, maka kita dapat menggunakannya untuk validasi argument yang lebih kompleks. Sepeti anak-anak yang sudah hafal perkalian kecil, bahwa 5x2 = 10, namun pada saat ditanya perkalian yang again sedikit besar,"8x5 berapa ?" Anak belum tahu hasilnya, namun dapat mencari tahu dengan menuskan angel delapan sebanyak lima kali di bukunya dan mulai menjumlahkan satu persatu.

Demikian pula saat kita menyimpulkan bahwa A dan B, sederhana sekali sehingga tanpa metoda apapun kita dapat menyimpulkan B dan A. Tapi bagaimana kita sebuah pernyataan yang sedikit lebih kompleks seperti pernyataan "A dan jika A maka B" ? Dapatkah kita menyimpulkannya sederhana menyimpulkan A dan B ?

Sebelas aturan deduksi alami itu adalah aturan dasar yang menggunakan contoh yang sangat sederhana. Aturan-aturan ini harus benar-benar dimengerti bahkan dihafal, agar dapat menerapkannya pada persoalan-persoalan yang lebih kompleks nantinya.

Lihat contoh pembuktian sederhana deduksi Alami Ini.

Premis : A ^ B
Kesimpulan: B ^ A

 A ^ B                        A ^ B
      B.                            A   (^E)
                  B ^ A.                (^I)

^E = aturan konjungsi Eliminasi
^I = aturan konjungsi introducing

Terbukti sudah bahwa A^B = B^A

Komentar

Posting Komentar

Postingan populer dari blog ini

Logo Media Logika

Gambar
  Ini adalah logo Forum Media Logika, dengan pengertian simbol-simbolnya sebagai berikut : 1. Bentuk Segitiga menunjukan filosofi piramida logika. Piramina logika ini adalah susun pikiran yang lebih dari satu susun. Di dalam proses berpikir, setiap susun pikiran kecil hanya terdiri dari tiga proposisi, di mana salah satunya adalah kesimpulan. Kesimpulan dapat menjadi premis bagi kesimpulan lainnya, sehingga terbentukan sebuah susun pikiran yang besar yang disebut  piramida logika.  2. Segitiga besar menunjukan struktur bangungan filsafat yang juga berarti piramida logika yang tidak hanya dibentuk oleh satu segitiga, tapi oleh banyak segitiga.  3. Segitiga kecil menunjukan muqadimah-mudaqimah logic, material syllogisme atau premis-premis  yang menjadi dasar terbentuknya piramida besar.  4. Segitiga kecil yang berada di tengah dan berlawanan dengan segitiga besar, menunjukan System Logika Terbalik atau Strategi Pembalikan Logika di dalam system validasi argument.  5. Bentuk sisi segita y
Baca selengkapnya

Implikasi Bertingkat

Gambar
 Implikasi bertingkat itu penggunaan "jika" di dalam "jika". Contoh : Jika ada seseorang datang, maka jika kemudian dia tidak menjadi teman, maka jika dia tidak menjadi murid, maka dia adalah orang asing jika saya tidak kenal dia, jika tidak begitu, maka dia bukan orang asing.  Penggunaan implikasi beringkat seperti ini jarang digunakan dalam kehidupan sehari-hari, namun dalam notasi logika dan juga di bidang pemrograman, hal  itu sangat sering digunakan. Dalam bahasa sehari-hari ungkapannya disederhanakan sebagai berikut.  "Jika ada seseorang datang dan saya tidak kenal dia, maka dia itu orang asing, tapi jika kemudian saya orang itu menjadi teman saya atau menjadi murid saya, maka dia bukan lagi orang asing." Bahasa ini memang lebih mudah dimengerti oleh manusia. Tapi bahasa seperti ini menimbulkan kerumitan tersendiri bila kemudian akan diterapkan dalam logika pemrograman misalnya, atau untuk keperlukan kalukasi logika. Dalam bentuk bagan, bentuk implik
Baca selengkapnya

Parsing Filsafat

Gambar
Ilmu Logika dapat digunakan untuk memparsing filsafat atau dalam bahasa yang lebih populernya disebut tracking, yaitu mengembalikan satu persatu susun-pikiran kepada bentuk formalnya. Manfaat dari parsing filsafat ini sebagai berikut. 1. Melihat struktur syllogisme secara utuh Sebuah pernyataan seringkali berupa kesimpulan yang berlandas kepada duah buah premis. Namun,.. dalam praktiknya, seringkali orang menggunakan gaya enthymem, di mana hanya sebagian struktur syllogisme yang tampil ke permukaan, sedangkan sebagian lagi tersembunyi. Memang, terkadang kita dapat langsung mengerti bagian premis yang tersembunyi itu, namun kadang sulit untuk mengerti. Dengan parsing, kita mengungkapkan semua strukturnya, sehingga terlihat utuh.  2. Melihat struktur konsep dengan jelas. Ketika kita ingin memvalidasi sebuah argumen, kita perlu melihat struktur konsep dari argument tersebut dengan jelas. Dengan menampilkan seluruh bagian dari sebuah syllogisme, kita dapat melihat struktu konsepnya dengan
Baca selengkapnya