Presentasi sedang didownload. Silahkan tunggu

Presentasi sedang didownload. Silahkan tunggu

Kuliah matematika diskrit Program Studi Teknik Elektro

Presentasi serupa


Presentasi berjudul: "Kuliah matematika diskrit Program Studi Teknik Elektro"— Transcript presentasi:

1 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Bagian Keempat : Logika Proposisi Kuliah matematika diskrit Ari Fadli, s.t. Program Studi Teknik Elektro

2 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Tujuan : Mahasiswa dapat menyebutkan tentang logika proposisi, operator dan sifat proposisi Kuliah matematika diskrit Program Studi Teknik Elektro

3 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Definisi : 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 Kuliah matematika diskrit Program Studi Teknik Elektro

4 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Definisi : Logika yang menangani, memproses atau memanipulasi penarikan kesimpulan secara logis dari proposisi Kuliah matematika diskrit Program Studi Teknik Elektro

5 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Definisi : Pernyataan = suatu kalimat yang memiliki arti Ditulis dengan huruf besar/kecil A,B,c,d Nilai dari pernyataan tersebut bisa bernilai benar atau salah Disebut juga sebagai kalimat deklaratif Kuliah matematika diskrit Program Studi Teknik Elektro

6 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Contoh : 2 + 2 = 4 Bilangan bulat yang membagi habis 23 adalah 1 dan 23. Bukan Proposisi : 1. A + B  5 Kuliah matematika diskrit Program Studi Teknik Elektro

7 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Deskripsi A = Bilangan bulat yang membagi habis 23 adalah 1 dan 23. A atau lainnya yang menggantikan atau mewakili proposisi disebut sebagai variable proporsisional True/False/T/F kemudian disebut sebagai konstanta proporsisional Kuliah matematika diskrit Program Studi Teknik Elektro

8 Kuliah matematika diskrit Program Studi Teknik Elektro
Soal 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 Kuliah matematika diskrit Program Studi Teknik Elektro

9 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban 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) Kuliah matematika diskrit Program Studi Teknik Elektro

10 Kuliah matematika diskrit Program Studi Teknik Elektro
Contoh Soal “Gajah lebih besar daripada kucing” Ini suatu perrnyataan ?  Ini suatu proposisi ?  Apa nilai kebenarannya ? benar Kuliah matematika diskrit Program Studi Teknik Elektro

11 Kuliah matematika diskrit Program Studi Teknik Elektro
Latihan 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” Kuliah matematika diskrit Program Studi Teknik Elektro

12 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban “1089 < 101” Ini pernyataan ? ya Ini proposisi ? ya Apa nilai kebenaran dari proposisi ini ? salah Kuliah matematika diskrit Program Studi Teknik Elektro

13 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban “y > 15” Ini pernyataan ? ya Ini proposisi ? bukan Nilai kebenarannya bergantung pada nilai y, tapi nilai ini tidak spesifik. Kita katakan tipe pernyataan ini adalah fungsi proposisi atau kalimat terbuka. Kuliah matematika diskrit Program Studi Teknik Elektro

14 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban “Bulan ini februari” Ini pernyataan ? ya Ini proposisi ? ya Apa nilai kebenaran dari proposisi ini ? salah Kuliah matematika diskrit Program Studi Teknik Elektro

15 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban “Jangan tidur di kelas” Ini pernyataan ? bukan Ini proposisi ? bukan Hanya pernyataan yang dapat menjadi proposisi. Kuliah matematika diskrit Program Studi Teknik Elektro

16 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban “Jika gajah berwarna merah, mereka dapat berlindung di bawah pohon bambu” Ini pernyataan ? Ya Ini proposisi ? Ya Apa nilai kebenaran proposisi tersebut ? probably false Kuliah matematika diskrit Program Studi Teknik Elektro

17 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban “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 Kuliah matematika diskrit Program Studi Teknik Elektro

18 Kuliah matematika diskrit Program Studi Teknik Elektro
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) Kuliah matematika diskrit Program Studi Teknik Elektro

19 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Contoh : Proposisi tunggal (atomic) Setiap mahasiswa teknik elektro pandai Proropisi majemuk (compound) Bono kaya raya dan memiliki banyak harta Kuliah matematika diskrit Program Studi Teknik Elektro

20 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Penghubung Logika (Logical Connectives) : 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  Kuliah matematika diskrit Program Studi Teknik Elektro

21 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Hirarki Penghubung : Hirarki ke - Simbol Nama 1 Negasi tidak …. 2 Konjungsi …. dan …. 3 Disjungsi (XOR) .... atau …. 4 Implikasi / Conditional .... jika …. Maka 5 Ekuivalensi / Bi Implikasi / Bi Conditional .... bila dan hanya bila …. Kuliah matematika diskrit Program Studi Teknik Elektro

22 Kuliah matematika diskrit Program Studi Teknik Elektro
Tabel Kebenaran Definisi Merupakan satu tabel yang menunjukan secara sistematis satu demi satu nilai-nilai kebenaran sebagai hasil kombinasi dari proposisi-proposisi yang sederhana. Kuliah matematika diskrit Program Studi Teknik Elektro

23 Kuliah matematika diskrit Program Studi Teknik Elektro
Tabel Kebenaran Tabel Kebenaran Negasi Contoh: p = Budi seorang mahasiswa p = Budi bukan seorang mahasiswa p 1 Kuliah matematika diskrit Program Studi Teknik Elektro

24 Tabel Kebenaran Tabel Kebenaran Konjungsi p  q
1 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 Kuliah matematika diskrit Program Studi Teknik Elektro

25 Tabel Kebenaran Tabel Kebenaran Disjungsi p v q
1 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 Kuliah matematika diskrit Program Studi Teknik Elektro

26 Tabel Kebenaran Tabel Kebenaran Implikasi antecendent  consequent
p : Bono seorang mahasiswa q : Wira seorang sarjana teknik p  q : jika Bono seorang mahasiswa maka Wira seorang sarjana teknik p q p  q 1 antecendent  consequent hipotesis  kesimpulan Definisi : p  q akan salah jikanilai p bernilai benar dan nilai q bernilai salah dan jika lainnya pasti benar Kuliah matematika diskrit Program Studi Teknik Elektro

27 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Cara Penyebutan Implikasi if p then q whenever p then q p is sufficient for q p only if q p implies q Kuliah matematika diskrit Program Studi Teknik Elektro

28 Kuliah matematika diskrit Program Studi Teknik Elektro
Tabel Kebenaran Cara Penyebutan Implikasi q if p q whenever p q is neccesarry for p q is implied by p Kuliah matematika diskrit Program Studi Teknik Elektro

29 Kuliah matematika diskrit Program Studi Teknik Elektro
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 Kuliah matematika diskrit Program Studi Teknik Elektro

30 Kuliah matematika diskrit Program Studi Teknik Elektro
Tabel Kebenaran Tabel Kebenaran Bi Implikasi p q p  p 1 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 Kuliah matematika diskrit Program Studi Teknik Elektro

31 Tabel Kebenaran Tabel Kebenaran Tidak Atau p  q
1 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 Kuliah matematika diskrit Program Studi Teknik Elektro

32 Tabel Kebenaran Tabel Kebenaran Tidak Dan p | q
1 p | q dapat pula disebut sebagai not and Akan bernilai salah jika p bernilai benar dan q bernilai benar dan jika lainnya pasti benar Kuliah matematika diskrit Program Studi Teknik Elektro

33 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Contoh Penerapan : p : motor itu bannya kurang angin q : motor itu kehabisan bahan bakar Motor itu bannya kurang angin dan kehabisan bahan bakar dapat disimbolkan dengan p  q Kuliah matematika diskrit Program Studi Teknik Elektro

34 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Contoh : Dengan kondisi sama simbolkanlah pernyataan berikut : Motor itu tidak kehabisan bahan bakar tapi bannya kurang angin Tidak benar bahwa motor itu kehabisan bahan bakar dan bannya kurang angin Kuliah matematika diskrit Program Studi Teknik Elektro

35 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi p = Motor itu tidak kehabisan bahan bakar q = Motor itu bannya kurang angin Kuliah matematika diskrit Program Studi Teknik Elektro

36 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Solusi : Motor itu tidak kehabisan bahan bakar tapi bannya kurang angin q  p Tidak benar bahwa motor itu kehabisan bahan bakar dan bannya kurang angin  (q  p) Kuliah matematika diskrit Program Studi Teknik Elektro

37 Kuliah matematika diskrit Program Studi Teknik Elektro
Logika Proposisi Tabel Kebenaran : p q  p p  q p  q p  q p  q T F Kuliah matematika diskrit Program Studi Teknik Elektro

38 Kuliah matematika diskrit Program Studi Teknik Elektro
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 (A  B)  C B   C (A  B)  C Kuliah matematika diskrit Program Studi Teknik Elektro

39 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban 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 A B A  B 1 Kuliah matematika diskrit Program Studi Teknik Elektro

40 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban A = Budi sakit flu B = Budi test SPMB C = Budi lulus B   C Jika Budi test SMPB maka budi tidak test lulus B C B  C 1 Kuliah matematika diskrit Program Studi Teknik Elektro

41 Kuliah matematika diskrit Program Studi Teknik Elektro
Jawaban A = Budi sakit flu B = Budi test SPMB C = Budi lulus (A  B)  C (A  B)  C A B C A  B (A  B ) C 1 A B C A  B (A  B ) C 1 Kuliah matematika diskrit Program Studi Teknik Elektro

42 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi 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 Kuliah matematika diskrit Program Studi Teknik Elektro

43 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Contoh Tautologi (Disimbolkan oleh) = Excluded Middle Law p v p p p v  p T F Kuliah matematika diskrit Program Studi Teknik Elektro

44 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Contoh Kontradiksi p   p p p   p T F Kuliah matematika diskrit Program Studi Teknik Elektro

45 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Contoh Kontingensi  p  q p q  p  q T F Kuliah matematika diskrit Program Studi Teknik Elektro

46 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Konversi q  p disebut konversi dari p  q Inversi dari p  q adalah  p   q Kontraposisi q  p disebut kontrapositif dari p  q Kuliah matematika diskrit Program Studi Teknik Elektro

47 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Hukum Ekuivalensi Logika Hukum Komutatif              Hukum Asosiatif   (  )  (  )     (  )  (  )   Kuliah matematika diskrit Program Studi Teknik Elektro

48 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Hukum Ekuivalensi Logika Hukum Distributif   (  )  (  )  (  )   (  )  (  )  (  ) Hukum Identitas p  T  p p  R  p Kuliah matematika diskrit Program Studi Teknik Elektro

49 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Hukum Ekuivalensi Logika Hukum Ikatan p  T  T p  F  F Hukum Negasi Ganda    Hukum Negasi p   p  T Kuliah matematika diskrit Program Studi Teknik Elektro

50 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Hukum Ekuivalensi Logika Hukum Idempoten p  p  p p  p  p Hukum Demorgan  (  )      (  )     Kuliah matematika diskrit Program Studi Teknik Elektro

51 Kuliah matematika diskrit Program Studi Teknik Elektro
Proposisi Hukum Ekuivalensi Logika Hukum Absorpsi p  (p  p)  p p  (p  p)  p Kuliah matematika diskrit Program Studi Teknik Elektro

52 Kuliah matematika diskrit Program Studi Teknik Elektro
Contoh Soal Tunjukkan bahwa p   (p  q)  p   q ! Solusi : p   (p  q)  p  ( p   q) (Hukum De Morgan)  (p   p)  (p   q) (Hukum distributif)  T  (p   q) (Hukum negasi)  p   q (Hukum identitas) Kuliah matematika diskrit Program Studi Teknik Elektro

53 Kuliah matematika diskrit Program Studi Teknik Elektro
Contoh Soal Buktikan hukum penyerapan : p  (p  q)  p ! Solusi : p  (p  q)  (p  F )  (p  q) (Hukum identitas)  p  (F  q) (Hukum distributif)  p  F (Hukum Null)  p (Hukum identitas) Kuliah matematika diskrit Program Studi Teknik Elektro


Download ppt "Kuliah matematika diskrit Program Studi Teknik Elektro"

Presentasi serupa


Iklan oleh Google