Professional Documents
Culture Documents
http://erizal.livejournal.com http://erizal.wordpress.com
Logika Informatika
12/03/13
| Page 2
Logika Informatika
12/03/13
| Page 3
Logika Informatika
12/03/13
| Page 5
Contoh :
Jika p : Jakarta ibu kota RI (B)
maka ~ p : Tidak benar bahwa Jakarta ibu kota RI (S) atau ~ p : Jakarta bukan ibu kota RI (S)
Jika q : Zainal memakai kaca mata
maka ~ q : Tidak benar bahwa Zainal memakai kaca mata atau ~ q : Zaibal tidak memakai kaca mata ~ q akan bernilai salah jika Zainal benar-benar memakai kaca mata.
Logika Informatika 12/03/13 | Page 6
Contoh :
Jika r : 2 + 3 > 6 (S)
Logika Informatika
12/03/13
| Page 7
Logika Informatika
12/03/13
| Page 8
p q, dan dibaca p dan q. Masing-masing p dan q disebut komponen (sub pernyataan). Pernyataan p q juga disebut sebagai pernyataan konjungtif. p q p q Notasi : p q 0 0 0 Tabel Kebenaran : 0 1 0 1 0 0 1 1 1
12/03/13 | Page 9
Logika Informatika
Logika Informatika
12/03/13
| Page 10
Logika Informatika
12/03/13
| Page 11
Logika Informatika
0 1 0 1
1 1 0 1
12/03/13 | Page 14
Contoh :
Jika kamu rajin kamu akan berhasil Saya segera keluar dari perusahaan ini jika saya tidak mendapat kenaikan gaji Jika saya lulus ujian, maka saya akan diwisuda Saya akan pergi ke toko buku jika ada sahabat yang menemani
Logika Informatika
12/03/13
| Page 15
Berbeda dengan pengertian implikasi seharihari maka pengertian implikasi disini hanya ditentukan oleh nilai kebenaran dari anteseden dan konsekuennya saja, dan bukan oleh ada atau tidak adanya hubungan isi antara anteseden dan konsekuen. Implikasi ini disebut implikasi material. Sedang implikasi yang dijumpai dalam percakapan sehari-hari disebut implikasi biasa (ordinary implication).
Logika Informatika 12/03/13 | Page 16
Contoh :
jika p : burung mempunyai sayap (B), dan
s : x bilangan bulat positif (S) maka p q : jika x bilangan cacah maka x bilangan bulat positif (S).
Logika Informatika 12/03/13 | Page 17
Logika Informatika
12/03/13
| Page 18
Logika Informatika
12/03/13
| Page 20
Contoh :
Jika segi tiga ABC sama kaki maka kedua sudut alasnya sama besar. Jelas implikasi ini bernilai benar. Kemudian perhatikan: Jika kedua sudut alas segi tiga ABC sama besar maka segi tiga itu sama kaki. Jelas bahwa implikasi ini juga bernilai benar. Sehingga segi tiga ABC sama kaki merupakan syarat perlu dan cukup bagi kedua alasnya sama besar, juga kedua sudut alas sama besar merupakan syarat perlu dan cukup untuk segi tiga ABC sama kaki. Sehingga dapat dikatakan Segi tiga ABC sama kaki merupakan syarat perlu dan cukup untuk kedua sudut Logika Informatika 12/03/13 | Page 21 alasnya sama besar.
Contoh :
Perhatikan kalimat: Saya memakai mantel jika dan hanya jika saya merasa dingin. Pengertian kita adalah Jika saya memakai mantel maka saya merasa dingin dan juga Jika saya merasa dingin maka saya memakai mantel. Terlihat bahwa jika saya memakai mantel merupakan syarat perlu dan cukup bagi saya merasa dingin, dan saya merasa dingin merupakan syarat perlu dan cukup bagi saya memakai mantel. Terlihat bahwa kedua peristiwa itu terjadi serentak.
Logika Informatika
12/03/13
| Page 22
Contoh :
Jika anda mendapat nilai 95 atau lebih dalam ujian akhir, maka anda akan mendapat nilai A
Contoh tersebut bisa mempunyai 4 kasus :
Anda mendapat nila kurang dari 95 (false) dan anda tidak dapat nilai A (false). Saya tidak bohong (true) Anda mendapat nilai kurang dari 95, anda juga dapat nilai A (true). Saya bohong (false) Teruskan 2 kasus berikutnya...
Logika Informatika
12/03/13
| Page 23
A : Jack orang yang pandai B : Jack orang yang rajin Tulislah bentuk simbolis dari kalimat-kalimat
ini :
Jack orang yang bodoh tetapi rajin. Jack orang yang pandai atau ia malas. Jack tidak pandai ataupun rajin. Jack orang yang bodoh atau ia pandai tetapi malas
Logika Informatika
12/03/13
| Page 24
http://erizal.livejournal.com http://erizal.wordpress.com