P. 1
logika-informatika-2

logika-informatika-2

|Views: 19|Likes:
Published by dwi_septik
logic2
logic2

More info:

Published by: dwi_septik on Mar 12, 2013
Copyright:Attribution Non-commercial

Availability:

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

02/23/2014

pdf

text

original

Logical Connectives – Penghubung Logika / Operator Logika

http://erizal.livejournal.com http://erizal.wordpress.com

• Pernyataan majemuk terdiri dari satu atau
lebih pernyataan sederhana yang dihubungkan dengan kata hubung kalimat (connective) tertentu. Dalam bahasa Indonesia kita sering menggunakan kata-kata “tidak”, “dan”, “atau”, “jika. . . maka. . .”, “jika dan hanya jika”.

Logika Informatika

12/03/13

| Page 2

Logika Informatika 12/03/13 | Page 3 . Jika...jika dan hanya jika..maka......dan.....atau.....SIMBOL ⌐ atau ¯ Λ V =>  ARTI Tidak/Bukan/Not/Negasi Dan/And/Konjungsi Atau/Or/Disjungsi Implikasi Biimplikasi BENTUK Tidak... . . .

Ingkaran pernyataan p ditulis ~ p Logika Informatika 12/03/13 | Page 4 • • . jika pernyataan semula salah. dan sebaliknya. Definisi : Ingkaran suatu pernyataan adalah pernyataan yang bernilai benar.• Perhatikan pernyataan : “Sekarang hari hujan” bagaimana ingkaran pernyataan itu ? Anda dapat dengan mudah menjawab : "Sekarang hari tidak hujan”. Jika pernyataan semula bernilai benar maka ingkaran pernyataan itu bernilai salah.

Jika p adalah proposisi. not p. (dinotasikan dengan ~p) . dinyatakan dengan tabel kebenaran berikut ini: p 0 1 ∼p 1 0 0 adalah False 1 adalah True Logika Informatika 12/03/13 | Page 5 .• Negasi (Not). negasinya.

Logika Informatika 12/03/13 | Page 6 .• 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.

• Contoh :  Jika r : 2 + 3 > 6 (S) maka ~r : Tidak benar bahwa 2 + 3 > 6 (B) atau ~ r : 2 + 3 ≤ 6 (B) Logika Informatika 12/03/13 | Page 7 .

Logika Informatika 12/03/13 | Page 8 . Contoh: 13 adalah bilangan prima dan 13 lebih kecil daripada 7.• Definisi : Akan bernilai salah jika sekurang• • kurangnya salah satu kalimat penyusun bernilai salah Hanya jika kedua kalimat komponennya benar maka keseluruhan kalimat akan bernilai benar.

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 .• Konjungsi dari dua pernyataan p dan q ditulis • • p ∧ q. dan dibaca ‘p dan q’.

• Akan bernilai benar jika sekurang-kurangnya • • salah satu kalimat penyusun bernilai benar Hanya jika kedua kalimat komponennya salah maka keseluruhan kalimat akan bernilai salah. Contoh: (12 ≤15) V (12>=15) Logika Informatika 12/03/13 | Page 10 .

• Notasi : p ∨ q • Tabel Kebenaran : p 0 0 1 1 q 0 1 0 1 p ∨q 0 1 1 1 Logika Informatika 12/03/13 | Page 11 .

Logika Informatika 12/03/13 | Page 12 • . p disebut hipotesa (anteseden) dan q disebut konklusi (konsekuen).• Bila kita menganggap pernyataan q sebagai suatu peristiwa. tetapi peristiwa q tidak terjadi”. diartikan sebagai “Tidak mungkin peristiwa p terjadi. Dalam implikasi p ⇒ q. maka kita melihat bahwa “Jika p maka q” dapat diartikan sebagai “Bilamana p terjadi maka q juga terjadi” atau dapat juga.

pernyataan demikian disebut implikasi atau pernyataan bersyarat (kondisional) dan ditulis sebagai p ⇒ q. yang berbentuk “jika p maka q”. terutama dalam matematika. Pernyataan p ⇒ q dapat dibaca:     Jika p maka q p berimplikasi q p hanya jika q q jika p 12/03/13 | Page 13 Logika Informatika .• Banyak pernyataan. Pernyataan p ⇒ q juga disebut sebagai pernyataan implikatif atau pernyataan kondisional.

• Definisi : Implikasi p ⇒ q bernilai benar jika • anteseden salah atau konsekuen benar.. Jika p dan q adalah proposisi. Definisi: Kondisional (If. dinyatakan dengan tabel kebenaran berikut ini : p q p →q 0 0 1 1 Logika Informatika 0 1 0 1 1 1 0 1 12/03/13 | Page 14 .then). statement kondisional if p then q (dinotasikan dengan p → q) .

• Akan bernilai benar jika :  Anteseden salah  Konsekuen benar • 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 .

dan bukan oleh ada atau tidak adanya hubungan isi antara anteseden dan konsekuen. Logika Informatika 12/03/13 | Page 16 • .• Berbeda dengan pengertian implikasi seharihari maka pengertian implikasi disini hanya ditentukan oleh nilai kebenaran dari anteseden dan konsekuennya saja. Sedang implikasi yang dijumpai dalam percakapan sehari-hari disebut implikasi biasa (ordinary implication). Implikasi ini disebut implikasi material.

Logika Informatika 12/03/13 | Page 17 . dan s : x bilangan bulat positif (S) maka p ⇒ q : jika x bilangan cacah maka x bilangan bulat positif (S). dan q : 2 + 3 = 5 (B) maka p ⇒ q : jika burung mempunyai sayap maka 2 + 3 = 5 (B)  jika r : x bilangan cacah (B).• Contoh :  jika p : burung mempunyai sayap (B).

• A jika dan hanya jika B. berarti : (A=>B) Λ • (B=>A) Kesimpulan: A  B bernilai benar jika keduanya bernilai benar atau keduanya bernilai salah. Logika Informatika 12/03/13 | Page 18 .

dinyatakan dengan tabel kebenaran berikut ini: p q p↔q 0 0 1 0 1 0 1 0 0 1 1 1 Logika Informatika 12/03/13 | Page 19 .• Definisi: Kondisional dua arah (If and only if). statement kondisional dua arah p jika dan hanya jika q (dinotasikan dengan p q) . Jika p dan q adalah proposisi.

• Dalam matematika juga banyak didapati • pernyataan yang berbentuk “p bila dan hanya bila q” atau “p jika dan hanya jika q”. serta dibaca p jika dan hanya jika q (disingkat dengan p jhj q atau p bhb q). Pertanyaan demikian disebut bikondisional atau biimplikasi atau pernyataan bersyarat ganda dan ditulis sebagai p ⇔ q. Logika Informatika 12/03/13 | Page 20 .

Jelas implikasi ini bernilai benar. juga kedua sudut alas sama besar merupakan syarat perlu dan cukup untuk segi tiga ABC sama kaki.  .  Sehingga segi tiga ABC sama kaki merupakan syarat perlu dan cukup bagi kedua alasnya sama besar.  Kemudian perhatikan: “Jika kedua sudut alas segi tiga ABC sama besar maka segi tiga itu sama kaki”.• Contoh : ”Jika segi tiga ABC sama kaki maka kedua sudut alasnya sama besar”.  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”. Jelas bahwa implikasi ini juga bernilai benar.

dan saya merasa dingin merupakan syarat perlu dan cukup bagi saya memakai mantel.• Contoh :  Perhatikan kalimat: “Saya memakai mantel jika dan hanya jika saya merasa dingin”. Logika Informatika 12/03/13 | Page 22 . Terlihat bahwa kedua peristiwa itu terjadi serentak. 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.

anda juga dapat nilai A (true). Logika Informatika 12/03/13 | Page 23 .. Saya bohong (false) Teruskan 2 kasus berikutnya.. 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).• Contoh :  Jika anda mendapat nilai 95 atau lebih dalam ujian akhir. Saya tidak bohong (true) Anda mendapat nilai kurang dari 95.

Jack orang yang pandai atau ia malas. Jack tidak pandai ataupun rajin.• 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 bodoh atau ia pandai tetapi malas Logika Informatika 12/03/13 | Page 24 .

com http://erizal.http://erizal.wordpress.com .livejournal.

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)//-->