Kalimat Berkuantor

Posted: Januari 13, 2010 in Logika Matematika

Dalam bab ini, konsep-konsep logika akan diperluas

dengan cara mengikut sertakan jumlah (kuantitas) objek

yang terlibat di dalamnya

• PREDIKAT DAN KALIMAT BERKUANTOR

Dalam tata bahasa, predikat menunjuk pada bagian kalimat yang memberi informasi tentang subyek.

Sebagai contoh :

. terbang ke bulan

. Lebih tebal dari kamus

Keduanya merupakan kalimat yang tidak lengkap. Untuk melengkapinya maka diperlukan suatu subyek didepan kalimat yang tersebut diatas.

Misalkan, buku ini kita masukkan kedalam kalimat buku ini lebih tebal dari kamus

Dalam ilmu logika, kalimat-kalimat yang memerlukan subyek disebut Predikat. Jadi, misalkan p : terbang ke bulan dan q : lebih tebal dari kamus, maka baik p maupun q adalah predikat-predikat. Untuk menyatakan perlunya substitusi subyek (yang tidak diketahui), maka dituliskan p(x) dan q(y).

Salah satu cara untuk merubah predikat menjadi suatu kalimat adalah dengan mensubstitusi semua varaible dengan nilai-nilai tertentu.

Misalkan p(x) : x habis dibagi 5 dan x disubstitusi dengan 35, maka p(x) menjadi kalimat yang benar karena 35 habis di bagi 5.

Ø KUANTOR

Kuantor adalah kata-kata seperti beberapa, semua, setiap, dlsbnya yang menunjukkan berapa banyak elemen yang dibutuhkan agar predikat menjadi benar.

Ø Ada 2 macam kuantor untuk menyatakan jumlah objek yang terlibat, yaitu :

Kuantor Universal/Universal quntifier (simbol ), menunjukkan bahwa setiap objek dalam semestanya mempunyai sifat kalimat yang menyatakannya.

Contoh : misalnya p(x) : x dapat mati. Karena semua manusia dapat mati, maka hal tersebut dinyatakan dengan ( x) x manusia, x p(x).

Tinggalkan Jawapan

Masukkan butiran anda dibawah atau klik ikon untuk log masuk akaun:

WordPress.com Logo

Anda sedang menulis komen melalui akaun WordPress.com anda. Log Out / Tukar )

Twitter picture

Anda sedang menulis komen melalui akaun Twitter anda. Log Out / Tukar )

Facebook photo

Anda sedang menulis komen melalui akaun Facebook anda. Log Out / Tukar )

Google+ photo

Anda sedang menulis komen melalui akaun Google+ anda. Log Out / Tukar )

Connecting to %s