MATEMATIKA DISKRIT

1. MATEMATIKA DISKRIT TKE 072107 Lecture #3 LOGIKA PROPOSISI Ari Fadli, S.T. Program StudiTeknikElektro, UNIVERSITAS JENDERAL SOEDIRMAN

2. Outline Terminologi Dasar Logika Proposisi Contoh Logika Proposisi Jenis Proposisi Jenis Kata Penghubung Tabel Kebenaran

3. Terminologi Dasar Logika Proposisi

4. Terminologi Dasar Logika Proposisi Definisi Proposisi Setiap pernyataan yang hanya memiliki satu nilai benar atau salah. Disimbolkan menggunakan huruf Pernyataan yang memiliki makna/arti Disebut juga sebagai kalimat deklaratif Bukan merupakan kalimat perintah atau tanya Definisi Logika Proposisi Logika yang menangani, memproses atau memanipulasi penarikan kesimpulan secara logis dari proposisi Pernyataan = suatu kalimat yang memiliki arti Ditulis dengan huruf besar/kecil A,B,c,d Nilai pernyataan tersebut bisa bernilai benar atau salah Disebut juga sebagai kalimat deklaratif

5. Terminologi Dasar Logika Proposisi (Cont …) Contoh Proposisi : 2 + 2 = 4 Bilangan bulat yang membagi habis 23 adalah 1 dan 23. BukanProposisi : A + B  5 Silahkan ambil makanan ini Dimana rumah budi ? Kapan Budi bermain bola ?

6. Terminologi Dasar Logika Proposisi (Cont …) Variable Proposisi A = Bilangan bulat yang membagi habis 23 adalah 1 dan 23. A atau lainnya yang menggantikan atau mewakili proposisi disebut sebagai variable proposisi Konstanta Proposisi True/False/T/F kemudian disebut sebagai konstanta proporsisional

7. Latihan Proposisi atau bukan ? Dewi belajar Budi adalah seorang mahasiswa yang pandai pada matakuliah Matematika Diskrit Angka 13 adalah angka sial Tati, cepat kerjakan tugasmu ! Tari, apakah anda sudah menyelesaikan final report

8. Latihan (Cont …) Pernyataan ke-3 menimbulkan perdebatan karena tidak setiap orang setuju ada juga yang tidak perduli, atau tidak juga memiliki arti (bukan proposisi) Pernyataan ke-1 dan 2 (merupakan proposisi) Pernyataan ke-4 dan ke-5 (bukan proposisi karena merupakan kalimat perintah dan kalimat tanya)

9. Latihan (Cont …) Pernyataan “Gajah lebih besar daripada kucing” Jawaban Ini suatu perrnyataan ?  Ini suatu proposisi ?  Apa nilai kebenarannya ? benar

10. Latihan (Cont …) Proposisi atau bukan ? 1. “1089 < 101” 2. “y > 16” 3. “Bulan ini Februari” 4. “Jangan Tidur dikelas” 5. “Jika gajah berwarna hijau mereka dapat berlindung dibawah pohon bambu” 6. “x < y jika dan hanya jika y > x”

11. Latihan (Cont …) “1089 < 101” Ini pernyataan ? ya Ini proposisi ? ya Apa nilai kebenaran dari proposisi ini ? salah

12. Latihan (Cont …) • “y > 15” Ini pernyataan ? ya Ini proposisi ? bukan Nilai kebenarannya bergantung pada nilai y, tapi nilai ini tidak spesifik. Kita katakan tipe pernyataan ini adalahfungsi proposisiataukalimat terbuka.

13. Latihan (Cont …) • “Bulan ini februari” Ini pernyataan ? ya Ini proposisi ? ya Apa nilai kebenaran dari proposisi ini ? salah

14. Latihan (Cont …) • “Jangan tidur di kelas” Ini pernyataan ? bukan Ini proposisi ? bukan Hanya pernyataan yang dapat menjadi proposisi.

15. Latihan (Cont …) “Jika gajah berwarna merah, mereka dapat berlindung di bawah pohon bambu” Ini pernyataan ? Ya Ini proposisi ? Ya Apa nilai kebenaran proposisi tersebut ? probably false

16. Latihan (Cont …) “x < y jika dan hanya jika y > x” Ini pernyataan ? Ya Ini proposisi ? Ya … sebab nilai kebenarannya tidak bergantung pada nilai x dan y. Apa nilai kebenaran dari proposisi tsb ? true

17. Macam Logika Proposisi Macam : Proposisi tunggal (atomic) Proposi yang hanya berisi satu variable atau satu konstanta proporsisional Proropisi majemuk (compound) Penggabungan proposisi atomik menggunakan kata penghubung (connectives) Contoh : Proposisi tunggal (atomic) Setiap mahasiswa teknik elektro pandai Proropisi majemuk (compound) Bono kaya raya dan memiliki banyak harta

18. Kata Penghubung Logika Macam Tidak/Not/Negasi Simbol  Dan/And/Konjungsi Simbol  Atau/Or/Disjungsi Simbol  Implikasi Simbol  Bi-Implikasi Simbol  Exclusive OR (XOR) Simbol   Tidak Dan Simbol | Tidak Atau Simbol 

19. KataPenghubungLogika (Cont..) HirarkiPenghubung :

20. TabelKebenaran • Definisi • Merupakan satu tabel yang menunjukan secara sistematis satu demi satu nilai-nilai kebenaran sebagai hasil kombinasi dari proposisi-proposisi yang sederhana.

21. TabelKebenaran (Cont ..) • Tabel Kebenaran Negasi Contoh: p = Budi seorang mahasiswa p = Budi bukan seorang mahasiswa

22. TabelKebenaran (Cont ..) • Tabel Kebenaran Konjungsi • P : Harimau adalah binatang buas • q : Malang adalah ibukota Jawa Timur • p  q : Harimau adalah binatang buas dan Malang adalah ibukota Jawa Timur Definisi : p  q akan benar jika dan hanya jika keduanya bernilai benar dan jika lainnya pasti salah

23. TabelKebenaran (Cont ..) • Tabel Kebenaran Disjungsi p : Bono seorang mahasiswa q : Wira seorang sarjana teknik p v q : Bono seorang mahasiswa atau Wira seorang sarjana teknik Definisi : p  q akan benar jika dan Salah satu diantaranya adalah benar dan jika lainnya pasti salah

24. TabelKebenaran (Cont ..) • Tabel Kebenaran Implikasi p : Bono seorang mahasiswa q : Wira seorang sarjana teknik p  q : jika Bono seorang mahasiswa maka Wira seorang sarjana teknik antecendent  consequent hipotesis  kesimpulan Definisi : p  q akan salah jikanilai p bernilai benar dan nilai q bernilai salah dan jika lainnya pasti benar

25. Tabel Kebenaran (Cont ..) • Cara Penyebutan Implikasi if p then q whenever p then q p is sufficient for q p only if q p implies q

26. Tabel Kebenaran • Cara Penyebutan Implikasi q if p q whenever p q is neccesarry for p q is implied by p

27. Tabel Kebenaran • Syarat Implikasi adalah perlu dan Cukup, perhatikan contoh berikut ini : • Kondisi “perlu” dinyatakan oleh konklusi. • Kondisi “cukup” dinyatakan oleh hipotesa. • Perlu = necessary; Cukup = sufficient • Contoh: Jika Bono seorang mahasiswa maka Wira seorang sarjana teknik • Kondisi perlu : Wira seorang sarjana teknik • Kondisi cukup : Bono seorang mahasiswa

28. TabelKebenaran (Cont ..) • Tabel Kebenaran Bi Implikasi Definisi : Proposisi yang bernilai benar Jika p bernilai benar dan q bernilai benar Jika p bernilai salah dan q bernilai salah Dan lainnya pasti salah

29. TabelKebenaran (Cont ..) • Tabel Kebenaran Tidak Atau P  q dapat pula disebut sebagai not or Dan akan bernilai benar jika p bernilai salah dan q bernilai salah, dan jika lainnya pasti salah

30. TabelKebenaran (Cont ..) • Tabel Kebenaran Tidak Dan p | q dapat pula disebut sebagai not and Akan bernilai salah jika p bernilai benar dan q bernilai benar dan jika lainnya pasti benar

31. LogikaProposisi ContohPenerapan : p : motor itubannyakurangangin q : motor itukehabisanbahanbakar Motor itubannyakurangangindankehabisanbahanbakardapatdisimbolkandengan p  q

32. LogikaProposisi TabelKebenaran :

33. Latihan Misalkan kondisinya seperti ini : A = Budi sakit flu B = Budi test SPMB C = Budi lulus Buatlah pernyataan dan tabel kebenarannya berikut ini : A   B 3. (A  B)  C B   C 4. (A  B)  C

34. Latihan (Cont..) A = Budi sakit flu B = Budi test SPMB C = Budi lulus A   B Jika Budi sakit flu maka budi tidak test SPMB Oleh karena budi sakit flu maka budi tidak test SPMB Budi tidak test SPMB jika Budi sakit flu Budi tidak test SPMB oleh karena budi sakit flu

35. Latihan (Cont..) A = Budi sakit flu B = Budi test SPMB C = Budi lulus B   C Jika Budi test SMPB maka budi tidak test lulus

36. Latihan (Cont..) A = Budi sakit flu B = Budi test SPMB C = Budi lulus (A  B)  C (A  B)  C

37. EkuivalensiProposisi • Tautologi, proposisi yg memuat nilai true untuk variabel hasilnya. • p v p • Kontradiksi, proposisi yg memuat nilai false untuk variabel hasilnya. • p  p • Kontingensi, proposisi yg memuat campuran dari true dan false utk kolom hasilnya. •  p  q

38. Ekuivalensi Proposisi (Cont ..) • Tautologi (Disimbolkan oleh) = Excluded Middle Law • p v p

39. Ekuivalensi Proposisi (Cont ..) • Contoh Kontradiksi • p  p

40. Ekuivalensi Proposisi (Cont ..) • Contoh Kontingensi •  p  q

41. EkuivalensiProposisi (Cont ..) • Konversi • q  p disebut konversi dari p  q • Inversi • dari p  q adalah  p   q • Kontraposisi • q  p disebut kontrapositif dari p  q