2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · logika...
TRANSCRIPT
![Page 1: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/1.jpg)
Logika Proposisi
Pertemuan 2 (Chapter 10 – Schaum, Set Theory)
(Chapter 3/4 – Schaum, Theory Logic)
![Page 2: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/2.jpg)
Logika Proposisional
• Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak yang disebut dengan logika proposisional
• Dikenalkan teknik untuk menentukan apakah suatu kalimat abstrak yang di berikan itu valid atau contradictory dan apakah dua kalimat abstrak yg diberikan itu ekuivalen.
![Page 3: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/3.jpg)
Logika Proposisional
• Menentukan kebenaran dan kesalahan daripada banyak kalimat konkrit hanya dengan melihat bentuk mereka.
![Page 4: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/4.jpg)
Logika Proposisional
• Simbol-simbol dasar dan menunjukkan bagaimana mereka dikombinasikan untuk membentuk kalimat (abstrak) daripada logika proposisional.
• Aturan sintaksis yang menjelaskan kombinasi apa daripada simbol-simbol yang diambil menjadi kalimat dalam bahasa tersebut.
![Page 5: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/5.jpg)
Proposisi
• Proposisi : suatu pernyataan yang mempunyai satu nilai benar atau salah (well-form format).
• Simbol-simbol dibawah ini, yang disebut proposisi digunakan utk membangun suatu kalimat. Mereka adalah:
• Simbol kebenaran : true dan false ( benar dan salah). Untuk menyingkat digunakan T = true atau B = benar , F = false atau S = salah.
![Page 6: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/6.jpg)
Proposisi
• Simbol proposisional : p, q, r, p1, p2, ……… ( huruf kecil p, q, r, dan
dari mereka dengan diberi indeks/ditambah dengan angka bilangan alam) Catatan : Ada beberapa buku yang menggunakan huruf besar P, Q, R, dan mereka diberi dengan indeks.
![Page 7: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/7.jpg)
Kalimat
• Kalimat dalam logika proposisional dibangun dari proposisi-proposisi dengan mengaplikasikan penghubung proposisional seperti : not, and, or, if-then, if-and-only-if
Kalimat dibentuk menurut aturan sbb : • Setiap proposisi, yaitu suatu simbol kebenaran
atau simbol proposisional, adalah suatu kalimat. • Jika P suatu kalimat, maka begitu juga
negasinya, yaitu (not P) • Jika P dan Q kalimat, maka begitu juga
konjungsinya, yaitu (P and Q)
![Page 8: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/8.jpg)
Kalimat
• Jika P dan Q kalimat, maka begitu juga disjungsinya yaitu (P or Q)
• Jika P dan Q kalimat, maka begitu juga implikasinya yaitu (if P then Q) dimana P disebut anteseden dan Q disebut konsekuen
• Jika P dan Q kalimat, maka begitu juga bi-implikasi nya/ ekuivalensinya, yaitu : (P if and only if Q)
• Kalimat majemuk adalah kalimat yang dibentuk dari satu atau lebih dari satu kalimat tunggal.
![Page 9: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/9.jpg)
Notasi Bhs. Inggris Bhs. Indonesia Konvensional
And Dan ∧ atau &
Or Atau ∨
Not Tidak ∼ Atau ¬
If-then Jika-maka ⊃ atau →
If-and only-if Jika dan hanya jika ≡ atau ↔
![Page 10: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/10.jpg)
Notasi Bhs. Inggris Bhs. Indonesia Konvensional
NAnd Tidak Dan atau ↑
NOr TIdak Atau ↓
XOr Exclusive Or ⊕ Atau ≠
![Page 11: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/11.jpg)
Contoh Kalimat Proposisi
• Premis : Anda belajar rajin. • Premis : Anda lulus ujian. • Premis : Anda senang. Bentuk proposisi • P : Anda belajar rajin. • Q : Anda lulus ujian. • R : Anda senang.
![Page 12: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/12.jpg)
Contoh Kalimat Proposisi
Bentuk argumen • Jika P, maka Q • Jika Q, maka R • Jika P, maka R
![Page 13: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/13.jpg)
Interpretasi
• Merupakan langkah penentuan benar atau salah untuk sekumpulan simbol-simbol proposisional.
• Misal suatu simbol P dapat diintrerpretasikan benar atau salah (tidak bisa dua-duanya).
![Page 14: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/14.jpg)
Aturan Semantik
• Aturan yang mengatur penentuan interpretasi pada simbol-simbol proposisi.
• Interpretasi dari operator proposisi, dirangkum pada tabel kebenaran.
• Ekivalen – Jika mempunyai tabel kebenaran yang sama.
![Page 15: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/15.jpg)
Tabel Kebenaran - Not
P ~ P
True False
False True
![Page 16: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/16.jpg)
Tabel Kebenaran - And
P Q P ∧ Q
True True True
True False False
False True False
False False False
![Page 17: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/17.jpg)
Tabel Kebenaran - Or
P Q P ∨ Q
True True True
True False True
False True True
False False False
![Page 18: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/18.jpg)
Tabel Kebenaran – If-then
P Q P ⇒ Q
True True True
True False False
False True True
False False True
![Page 19: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/19.jpg)
Tabel Kebenaran – If and only if
P Q P ⇔ Q
True True True
True False False
False True False
False False True
![Page 20: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/20.jpg)
Hukum-Hukum Logika
• Silogisme – Hipotesis (bentuk jika-maka, jika-maka) – Disjungtif (bentuk atau dan tidak)
• Modus – Ponens (bentuk jika-maka) – Tollens (bentuk jika-maka, tidak)
![Page 21: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/21.jpg)
Latihan
![Page 22: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/22.jpg)
• Nyatakan argumen berikut dalam bentuk simbol proposisi dan bagaimana jika salah satu premisnya dinegasikan! – Harga naik atau permintaan turun. – Hari ini hujan dan sungai banjir. – Jika Saya rajin belajar maka saya lulus ujian. – Jika Saya puasa maka saya lapar.
![Page 23: 2 logika gerbangdigital.lecture.ub.ac.id/files/2010/03/2-logika-gerbang.ppt.pdf · Logika Proposisional • Tujuan pembicaraan kali ini adalah untuk ... • Aturan sintaksis yang](https://reader033.vdocuments.site/reader033/viewer/2022051010/5ae024047f8b9a6e5c8d0723/html5/thumbnails/23.jpg)
A=Anda sakit flu. B=Anda ujian. C=Anda lulus. Ubahlah ekspresi pernyataan dalam bahasa indonesia. (1). A → ¬B (2). B → ¬C (3). ¬B → C (4). (A ∧ B) → C (5). (A →¬C) ∨ (B →¬C) (6). (A ∧ B) ∨ (¬A ∧ B)