BAB 2 : KALIMAT BERKUANTOR

sederhana dan digunakan sebagai bahan untuk dimanipulasi secara
matematis.
Bagi para ahli di bidang ilmu komputer, logika predikat berperan penting
dengan beberapa alasan. Pertama, logika predikat memberi alasan logis
yang mendasari bahasa pemrograman logika, misalnya PROLOG dan LISP.
Kedua, logika predikat mampu mendorong pengembangan kebutuhan
aplikasi komputer. Ketiga, logika predikat mampu berperan di bagian
pembuktian tentang masalah “correctness” sehingga dapat secara tepat
mengetahui kondisi program yang menghasilkan keluaran yang benar.
Contoh-contoh argumen yang menggunakan logika predikat masih cukup
banyak, misalnya dua contoh berikut ini :
Contoh 2.6 :
1. Setiap kucing mempunyai ekor.
2. Tom adalah seekor kucing.
3. Dengan demikian, Tom memiliki ekor
Atau :
1. Setiap lelaki hidup abadi.
2. Socrates adalah seorang lelaki.
3. Dengan demikian, Socrates hidup abadi.
Argumen juga bisa lebih panjang karena memiliki lebih dari 2 premis,
tetapi tetap dengan satu kesimpulan. Lihat contoh argumen berikut :
Contoh 2.7:
1. Badu menyukai Siti.
2. Pria yang menyukai Siti pasti menyukai Dewi.
3. Badu hanya menyukai wanita cantik.
4. Dengan demikian, Dewi adalah wanita cantik.
Jelas bahwa kesimpulan pada pernyataan ke-4 adalah logis karena jelas
berasal dari premis-premisnya, tetapi jika dibuktikan melalui logika
proposisional akan terjadi kesulitan karena kesimpulan bukan diambil
utuh dari premisnya, tetapi merupakan gabungan dari beberapa premis.
Di sinilah logika predikat akan berperan.
Banyak argumen logis yang tidak bisa diselesaikan pembuktian
validitasnya dengan logika proposisional. Untuk itu, kemudian
dikembangkan logika predikat untuk mengatasi masalah tersebut.
Logika predikat diperkenalkan oleh Sir William Hamilton (1788-1856)
dengan doktrinnya yang dinamakan “Quantification Theory”. Oleh karena
itu, logika predikat sebenarnya adalah logika proposisional yang ditambah
dengan hal-hal baru, yaitu pengkuantoran.