Logika Predikat atau Predicate Logic

Definisi Predikat atau Predicate

a < 9 

a kurang dari 9

Pernyataan diatas dapat bernilai benar atau bernilai salah. Benar atau salahnya nilai pernyataan diatas, tergantung pada berapa nilai a.

Jika nilai a = 8 maka pernyataan diatas bernilai benar.

Namun, jika nilai a = 10 maka pernyataan diatas bernilai salah.

Pada pernyataan ini

a< 9

a kurang dari 9

maka a disebur sebagai subject

dan < 9 (kurang dari sembilan) disebut sebagai predicate

Predicate adalah pernyataan matematis yang mengandung variable. Benar atau salahnya pernyataan tersebut, bergantung pada nilai variable tersebut. 

Definisi Logika Predikat atau Predicate Logic

Logika predikat adalah cara untuk menyelesaikan argumen yang tidak dapat diselesaikan dengan logika proposisi. Logika proposisi menganggap proposisi sederhana (kalimat) sebagai entitas tunggal, yaitu antara predikat dan subjek dalam logika preposisi tidak dibedakan. Sedangkan, logika predikat membedakan subjek dan predikat dalam sebuah kalimat.

Contoh :

1. “a lebih kecil dari 9”

“a” sebagai subjek dan “lebih kecil dari 9” sebagai predikat

Kita ubah a menjadi 10:

10 < 9, maka 10 lebih kecil dari 9 = denied = does not hold = is not true

Jika kita ubah a menjadi 7:

7 < 9, maka 7 lebih kecil dari 9 = affirmed = holds = is true

Penulisan penulisan predicate logic ditulis menggunakan simbol P(x).

Misalnya :

a) Ayah(x) : unary predicate

b) Kakak(x, y) : binary predicate

c) Saudara(x, y, z) : ternary predicate

d) P(w, x, y, z, …, n) : n-ary predicate

Soal:

Misalkan Q (x,y) menunjukkan pernyataan "x=y+3". Apakah nilai kebenaran dari

a) proposisi Q (1,2)

b) Proposisi Q (3,0)?

Pembahasan:

a. Untuk mendapatkan Q (1.2), atur x=1 dan y=2 dalam pernyataan Q (x,y), Olch karena itu Q (1,2) adalah pernyataan “1=2-3" yang bernilai salah

b. Pernyataan Q(3,0) adalah proposisi “3=0+3” yang bernilai benar