Logika Predikat

Pertemuan 5/6 (Chapter 6/7 – Schaum, Theory Logic)

•  Pernyataan yang mengandung kata. semua. C=Dengan demikian.Pendahuluan •  Logika proposisional sudah cukup untuk menangani pernyataan-pernyataan yang sederhana. ada atau kata yang lain tidak bisa diselesaikan. misal: A=semua mahasiswa pandai. B=Badu seorang mahasiswa. •  Untuk pernyataan yang lebih rumit. bentuk ekspresi logika (A∧B)→C : tidak bisa dibuktikan! . Badu pasti pandai.

ia pasti pandai ((A→B)∧A)→B . B=Dengan demikian.Pendahuluan •  Bila menginginkan diselesaikan dengan logika proposisi. A=Badu seorang mahasiswa. maka ia pasti pandai. pernyataan-pernyataannya harus dirubah menjadi A→B=Jika Badu mahasiswa.

.Pendahuluan •  Logika predikat merupakan pengembangan dari logika proposisional dengan masalah pengkuantoran dan menambah istilah-istilah baru.

.Istilah dalam Logika Predikat •  Term : kata benda atau subjek •  Predikat : properti dari term •  Fungsi proposisional=fungsi •  Kuantor – Universal: yang selalu bernilai benar (∀). – Eksistensial: bisa bernilai benar atau salah(∃).

M(n.n) .r)→¬M(r.r) Bentuk logika predikat M(n. ratna •  Predikat=adalah ibu dari •  Fungsi=ibu(nani.ratna) .Contoh Logika Predikat •  Nani adalah ibu dari Ratna. •  Term=nani .

Contoh Kuantor Universal •  emua gajah mempunyai belalai S •  (x) = gajah G •  (x) = belalai B Bentuk logika predikat (∀x)(G(x)→B(x)) Dibaca: untuk semua x. jika x seekor gajah. maka x mempunyai belalai. .

. yang x adalah bilangan prima dan x bernilai genap. A •  (x) = bilangan prima P •  (x) = bernilai genap G Bentuk logika predikat (∃x)(P(x)∧G(x)) Dibaca: ada x.Contoh Kuantor Eksistensial •  da bilangan prima yang bernilai genap.

y) •  (∃x)(∃y)A(x.y) ≡ (∃y)(∃x)A(x.y) •  (∀x)R ≡ (∃x)R ≡ R •  (∀x)(A→B(x)) ≡ A →(∀x)B(x) •  (∀x)(T→B(x)) ≡ T →(∀x)B(x) •  (∀x)(F→B(x)) ≡ F →(∀x)B(x) .y) ≡ (∀y)(∀x)A(x.Ekivalen Logis •  (∀x)A(x) ≡ A(a1)∧A(a2)∧A(a3)∧… A(an) •  (∃x)A(x) ≡ A(a1)∨A(a2)∨A(a3)∨… A(an) •  (∀x)(∀y)A(x.

•  (∃x)B(x) •  (∃x)¬B(x) •  (∀x)B(x) •  (∀x) ¬B(x) .•  Ubahlah pernyataan kuantor-kuantor berikut kedalam bahasa Indonesia jika B(x) adalah pernyataan “x belajar lima jam per hari selama kuliah” dan x adalah semua mahasiswa.

3. tetapi Dito tidak. Tidak semua orang kaya raya. tetapi Pak Bowo tidak kenal Amir. 4. 2.Ubah dalam bentuk logika predikat : 1. Semua harimau adalah pemangsa. Ada harimau yang hanya memangsa kijang. Badu sangat sibuk. . maka Siti mirip Santi. Jika Siti mirip Dewi dan Dewi mirip Santi. 6. 5. Amir kenal Bapak Bowo.

maka Siti mirip Santi.•  Jika Siti mirip Dewi dan Dewi mirip Santi. N=Santi –  Predikat: M=Mirip –  Fungsi: (M(S. –  Term: S=Siti. tetapi Dito tidak.B) ∧∼ K (B.N) •  Badu sangat sibuk. –  Term : A=Amir. tetapi Pak Bowo tidak kenal Amir.A) . D=Dewi. B=Bowo –  Predikat : K=kenal –  Fungsi: K (A.N)) → M(S. D=Dito –  Predikat: S=sibuk –  Fungsi: S (B) ∧ ∼S (D) •  Amir kenal Bapak Bowo. –  Term: B-Badu.D) ∧ M (D.

•  Tidak semua orang kaya raya. –  Term: H(x)= Harimau. –  Term: H(x)= Harimau –  Predikat: P(x) = Pemangsa –  Fungsi: ∼∀ H(x) → P(x) •  Ada harimau yang hanya memangsa kijang. –  Term : O(x)=orang –  Predikat : K(x)=kaya –  ∼∀ O(x) → K(x) •  Semua harimau adalah pemangsa. K(x)=kijang –  Predikat: P(x) = Pemangsa –  Fungsi: ∃ (x)H(x) ∧ M(x)→ K(x) .