3 Logika Proposisional_3

advertisement
Materi -3
PROPOSITION LOGIC
Properties of Sentences
Inference Methods
Quantifier Sentences
1
Properties of Sentences
Adalah sifat-sifat yang dimiliki oleh kalimat logika
Ada 3 sifat, yaitu:
1. Valid
2. Contradictory
3. Satisfiable
2
Properties of Sentences
Valid
Suatu sentence f disebut valid
valid,, jika untuk setiap
interpretation I for f, maka f true
Contoh:
1. (f and g) if and only if (g and f)
2. f or not f
3. (p and (if r then s)) if only if ((if r then s) and p)
4. (p or q) or not (p or q)
5. (if p then not q) if and only if not (p and q)
3
Properties of Sentences
Contradictory
Suatu sentence f disebut contradictory
contradictory,, jika untuk
setiap interpretation I for f, maka f false
Contoh
1. p and not p
2. ((p or q) and not r) if and only if ((if p then r) and (if
q then r)
4
Properties of Sentences
Satisfiable
Suatu sentence f disebut satisfiable
satisfiable,, jika untuk
suatu interpretation I for f, maka f true
Contoh:
1. if (if p then q) then q
2. (if p then q) and (not r and s)
3. (if r then q) or p
5
Inference Method
Suatu teknik/metode untuk menurunkan kesimpulan
berdasarkan hipotesa yang diberikan, tanpa harus
menggunakan tabel kebenaran
Misal:
Modus Ponens
Modus Tolens
Prinsip Sylogisme
6
Inference Method
Modus Ponens
1. p
2. p
3.
q
q
Contoh:
1. Jika suatu bilangan habis dibagi 2 maka
bilangan tersebut bilangan genap
2. Suatu bilangan habis dibagi 2
3. Bilangan tersebut adalah bilangan genap
7
Inference Method
Modus Tolens
1. p
q
2.
~q
3.
~p
Contoh:
1. Jika suatu bilangan habis dibagi 2 maka
bilangan tersebut bilangan genap
2. Ada suatu bilangan ganjil
3. Bilangan tersebut tidak habis dibagi 2
8
Inference Method
Prinsip Sylogisme
1. p
2. q
3. p
q
r
r
Contoh:
1. Jika ia belajar dengan baik maka ia akan pandai
2. Jika ia pandai maka ia akan lulus ujian
3. Jika ia belajar dengan baik maka ia akan lulus ujian
9
Quantifier Sentence
Kalimat yang memuat ekspresi kuantitas obyek
yang terlibat, misalnya: semua, ada, beberapa,
tidak semua, dan lain-lain.
Ada dua macam, kalimat berkuantor:
1. Universal Quantifier
2. Existential Quantifier
10
Quantifier Sentence
Universal Quantifier (for all…)
Terdapat kata-kata yg mempunyai makna umum
dan menyeluruh.
Notasi: ∀, dibaca semua, seluruh, setiap
Penulisan: ∀x ∈ S
p(x)
Semua x dalam semesta S mempunyai sifat p
Contoh:
Semua orang yang hidup pasti mati
Setiap mahasiswa pasti pandai
11
Quantifier Sentence
Existential Quantifier (for some…)
Terdapat kata-kata yg mempunyai makna khusus/
sebagian.
Notasi: ∃, dibaca terdapat, ada, beberapa
Penulisan: ∃y ∈ S
q(y)
Terdapat y dalam semesta S mempunyai sifat q
Contoh:
Ada siswa di kelas ini yang ngantuk
Beberapa mahasiswa ada yang mendapat nilai A
untuk mata kuliah Pemrograman.
12
Quantifier Sentence
Ingkaran Pernyataan Berkuantor
(∀
∀x) p(x)
(∃
∃y) q(y)
= (∃
∃y) p(y)
= (∀
∀x) q(x)
Contoh:
1.
p
~p
2.
q
~q
: Semua mahasiswa di kelas ini enjoy belajar
logika Informatika
: Ada mahasiswa di kelas ini yang tidak enjoy
belajar Logika Informatika
: Ada pejabat yang korupsi
: Semua pejabat tidak korupsi
13
Exercise
Pada suatu hari, Anda hendak pergi kuliah dan baru
sadar bahwa Anda tidak memakai kacamata.
Setelah diingat-ingat, ada beberapa fakta dimana
Anda yakin itu benar:
1)
2)
3)
Jika kacamataku ada di meja dapur, maka aku pasti sudah
melihatnya ketika mengambil makanan kecil.
Aku membaca buku pemrograman di ruang tamu atau aku
membacanya di dapur.
Jika aku membaca buku pemrograman di ruang tamu, maka
pastilah kacamata kuletakkan di meja tamu.
14
Exercise
4)
5)
6)
Aku tidak melihat kacamataku ketika aku mengambil
makanan kecil.
Jika aku membaca majalah di ranjang, maka kacamataku
kuletakkan di meja samping ranjang.
Jika aku membaca buku pemrograman di dapur, maka
kacamata ada di meja dapur.
Berdasar fakta-fakta tersebut, tentukan dimana letak kacamata
tersebut!.
15
Exercise
Penyelesaian
Untuk memudahkan dalam menggunakan
penggunaan metode inferensi, maka kalimat-kalimat
tersebut dinyatakan dengan simbol-simbol logika,
Misalnya
p : Kacamata ada di meja dapur.
q : Aku melihat kacamataku ketika aku mengambil
makanan kecil.
r : Aku membaca buku pemrograman di ruang tamu.
s : Aku membaca buku pemrograman di dapur
t : Kacamata kuletakkan di meja tamu.
u : Aku membaca buku pemrograman di ranjang.
w: Kacamata kuletakkan di meja samping ranjang.
16
Exercise
Dengan simbol-simbol tersebut, maka fakta-fakta di atas
dapat ditulis, sebagai berikut:
1.
p
q
2.
r∨ s
3.
r
t
4.
~q
5.
u
w
6.
s
p
17
Exercise
Inferensi yang dapat dilakukan adalah:
1.p
q
~q
~p
2. s
p
~p
~s
3. r ∨ s
~s
r
4. r
t
r
t
Kesimpulannya: Kacamata ada di meja tamu.
18
Exercise
Gunakan prinsip inferensi untuk
menurunkan ~q dari hipotesa-hipotesa:
if (r or q) then p
2. not a
3. if p then a
1.
19
Exercise
Perhatikan hipotesa-hipotesa di bawah berikut:
1. Jika saya rajin kuliah atau saya cerdas, maka saya akan lulus mata
kuliah Logika dan Algoritma.
2. Saya tidak diijinkan mengambil mata kuliah pemrogmanan.
3. Jika saya lulus mata kuliah logika dan algoritma, maka saya akan
diijinkan mengambil mata kuliah pemrograman.
4. Saya cerdas
Nyatakan kalimat-kalimat di atas dengan simbol-simbol logika!,
Kemudian simpulkan, apakan saya rajin kuliah?
20
Download
Random flashcards
hardi

0 Cards oauth2_google_0810629b-edb6-401f-b28c-674c45d34d87

Rekening Agen Resmi De Nature Indonesia

9 Cards denaturerumahsehat

Rekening Agen Resmi De Nature Indonesia

9 Cards denaturerumahsehat

sport and healty

2 Cards Nova Aulia Rahman

Nomor Rekening Asli Agen De Nature Indonesia

2 Cards denaturerumahsehat

Create flashcards