P. 1
4-Logika-predikat1.ppt

4-Logika-predikat1.ppt

|Views: 4|Likes:
Published by Fathur Cico Chick

More info:

Published by: Fathur Cico Chick on Jan 03, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

12/09/2013

pdf

text

original

Logika Predikat

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

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

maka ia pasti pandai. 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.

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(∃).

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

jika x seekor gajah. 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.

. 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) ≡ (∃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.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) .

•  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. •  (∃x)B(x) •  (∃x)¬B(x) •  (∀x)B(x) •  (∀x) ¬B(x) .

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

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

•  Tidak semua orang kaya raya. –  Term: H(x)= Harimau –  Predikat: P(x) = Pemangsa –  Fungsi: ∼∀ H(x) → P(x) •  Ada harimau yang hanya memangsa kijang. 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. –  Term: H(x)= Harimau.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->