Logika Predikat

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

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

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

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

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

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

maka x mempunyai belalai. .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.

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

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.y) •  (∃x)(∃y)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.y) ≡ (∀y)(∀x)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.

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

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

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

Sign up to vote on this title
UsefulNot useful