Dialog Pembuktian Silogisme Armahedi Mahzar © 2012
Ni Suiti: Dalam dialog kemarin, saya telah menunjukkan bahwa sebuah silogisme, / tepatnya lawan silogisme / antilogisme, dpt dinyatakan oleh tiga tumpukan kartu, dua mencerminkan alasan dan satu mencerminkan sangkalan kesimpulan.
Ki Algo: Lalu bagaimana cara membuktikan bahwa silogisme itu benar / absah
Ni Suiti: Kita mainkan saja buang-buangan kartu mengikuti aturan-pembuangan tertentu, kalau berujung pd tinggalnya satu kartu tertutup, maka berarti silogisme yg dicerminkan kartu itu benar / absah adanya.
Ki Algo: Bagaimana itu aturan pembuangan itu?
Ni Suiti: Aturan pertama adlh aturan buang semua kartu: semua kartu di samping kartu tertutup harus dibuang.
Ki Algo: Ini mah, hukum absorpsi dlm aljabar Boole 0 a = 0
Ni Suiti: Aturan kedua adlh aturan buang kartu tertutup: pasangan kartu tertutup bertumpuk yg tak ditumpuk dua kartu sekaligus boleh dibuang
Ki Algo: dlm aljabar Boole ni adlh hukum penyangkalan ganda a’’ = a
Ni Suiti: Aturan ketiga adlh aturan buang kartu terbuka: semua kartu yg setanda dgn kartu yg berada di luar susunan kartu harus dibuang.
Ki Algo: Hukum Pelenyapan dlm aljabar Boole a(ab)’ = ab’
Ni Suiti: Ya, jika silogisme dinyatakan oleh susunan kartu, pembuktiannya dinyatakan oleh penyederhanaan susunan melalui buang-buangan. Jadi analisis sebuah silogisme bersesuaian dgn permainan soliter susun-buang kartu. Jika akhirnya tinggal satu kartu tertutup, maka permainan berhasil yg artinya pembuktiannya berhasil juga.
Ki Algo: Sekarang, buktikan bahwa permainan kartumu itu memang bisa membuktikan bahwa sebuah silogisme itu benar. Misalnya buktikan bahwa silogisme Barbara itu benar!
Ni Suiti: Antilogisme dari Barbara itu adlh Abc Aab Oac, jadi susunan kartunya adalah
Mari kita mulai bermain. Buang Queen Club ikuti aturan buang kartu terbuka, hingga mendapatkan susunan
Lalu, buang dua kartu tertutup di belakang King Diamond sesuai aturan buang kartu tertutup sehingga jadi
Seterusnya, buang kartu Queen Diamond sesuai aturan buang kartu terbuka
Kemudian, buang dua kartu tertutup di belakang King Spade sesuai aturan buang kartu tertutup
Selanjutnya, buang kartu Queen Spade sesuai aturan buang kartu terbuka
Akhirnya, buang semua kartu di samping kartu tertutup sesuai dgn aturan buang semua kartu
Karena hanya tinggal satu kartu tertutup, maka permainan sukses. Artinya antilogisme Barbara salah / silogisme Barbara benar / absah.
Ki Algo: Menarik sekali, berlogika tanpa kata-kata seperti yg dilakukan Aristoteles dan jg tanpa rumus-rumus seperti yg dilakukan Boole. Tapi apakah dia bisa membuktikan keabsahan 24 bentuk silogisme berikut ini?
Ni Suiti: Hehehe hari telah larut malam. Kita tidur dulu.
Ki Algo: Selamat malam.
Ni Suiti: Dalam dialog kemarin, saya telah menunjukkan bahwa sebuah silogisme, / tepatnya lawan silogisme / antilogisme, dpt dinyatakan oleh tiga tumpukan kartu, dua mencerminkan alasan dan satu mencerminkan sangkalan kesimpulan.
Ki Algo: Lalu bagaimana cara membuktikan bahwa silogisme itu benar / absah
Ni Suiti: Kita mainkan saja buang-buangan kartu mengikuti aturan-pembuangan tertentu, kalau berujung pd tinggalnya satu kartu tertutup, maka berarti silogisme yg dicerminkan kartu itu benar / absah adanya.
Ki Algo: Bagaimana itu aturan pembuangan itu?
Ni Suiti: Aturan pertama adlh aturan buang semua kartu: semua kartu di samping kartu tertutup harus dibuang.
Ki Algo: Ini mah, hukum absorpsi dlm aljabar Boole 0 a = 0Ni Suiti: Aturan kedua adlh aturan buang kartu tertutup: pasangan kartu tertutup bertumpuk yg tak ditumpuk dua kartu sekaligus boleh dibuang
Ni Suiti: Aturan ketiga adlh aturan buang kartu terbuka: semua kartu yg setanda dgn kartu yg berada di luar susunan kartu harus dibuang.
Ni Suiti: Ya, jika silogisme dinyatakan oleh susunan kartu, pembuktiannya dinyatakan oleh penyederhanaan susunan melalui buang-buangan. Jadi analisis sebuah silogisme bersesuaian dgn permainan soliter susun-buang kartu. Jika akhirnya tinggal satu kartu tertutup, maka permainan berhasil yg artinya pembuktiannya berhasil juga.
Ki Algo: Sekarang, buktikan bahwa permainan kartumu itu memang bisa membuktikan bahwa sebuah silogisme itu benar. Misalnya buktikan bahwa silogisme Barbara itu benar!
Ni Suiti: Antilogisme dari Barbara itu adlh Abc Aab Oac, jadi susunan kartunya adalah
Lalu, buang dua kartu tertutup di belakang King Diamond sesuai aturan buang kartu tertutup sehingga jadi
Selanjutnya, buang kartu Queen Spade sesuai aturan buang kartu terbuka
Ki Algo: Menarik sekali, berlogika tanpa kata-kata seperti yg dilakukan Aristoteles dan jg tanpa rumus-rumus seperti yg dilakukan Boole. Tapi apakah dia bisa membuktikan keabsahan 24 bentuk silogisme berikut ini?
Ki Algo: Selamat malam.
0 Response to "Dialog Pembuktian Silogisme"
Posting Komentar