REDUCTIO AD ABSURDUM
Armahedi Mahzar (c) 2011Bagian 2 : Mengaljabarkan Logika
Semenjak ilmu Logika ditemukan oleh Aristoteles
ilmu tersebut dapat dikatakan sebagai bagian dari ilmu sastra karena kita harus menggunakan kata-kata dalam memaparkannya. Namun karena sulitnya, orangpun menciptakan berbagai macam simbol untuk menyingkat hukum-hukum itu, namun masih saja tetap sulit.
Filsuf Gottfried Wilhelm Leibniz 

Boole melihat bahwa penggabungan DAN itu mirip dengan perkalian x. Soalnya pernyataan BENAR hanya menjadi BENAR hanya jika digabungkan melalui DAN dengan pernyataan lain yang BENAR, lain dari pada itu hasilnya adalah SALAH. Hal ini mirip dengan fakta ilmu hitung dimana 1 hanya menjadi 1 jika di kalikan dengan 1, lain dari pada itu hasilnya adalah 0. Dalam simbol ilmu hitung, ini berarti 1 x 1 = 1 dan 1 x 0 = 0 X 1 = 0 X 0 = 0. Mirip kan?
Namun, William Stanley Jevons

Selanjutnya Boole melihat operasi logika TIDAK a mirip dengan operasi ilmu hitung 1 - a. Soalnya 1 - 1 = 0 mirip dengan TIDAK BENAR = SALAH dan 1 - 0 = 1 mirip dengan TIDAK SALAH = BENAR. Dengan demikian dia menemukan sebuah ilmu hitung logika yang hanya mempunyai nilai 1 dan 0 dan mempunyai tiga operasi aritmetika +, X dan -. Di atas aritmetika logika inilah dia membangun aljabar logika di mana terdapat hubungan-hubungan aljabar yang aneh seperti misalnya x x = x + x = x untuk semua harga x.
Pada akhir abad ke-19, Charles Sanders Peirce

No comments :
Post a Comment