Download - Logika Matematika
![Page 1: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/1.jpg)
Matematika Diskrit
Logika MatematikaLogika Matematika
Bab 1
![Page 2: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/2.jpg)
Matematika Diskrit
Pengertian LogikaPengertian Logika• Etimologis : “Logos” <Yunani>
– Kata, Ucapan, Pikiran secara utuh, Ilmu pengetahuan
• Istilah : Ilmu yang mengkaji penurunan kesimpulan yang valid maupun tidak
![Page 3: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/3.jpg)
Matematika Diskrit
Kalimat Deklaratif Kalimat Deklaratif (atau Pernyataan atau Proposisi)(atau Pernyataan atau Proposisi)
• Kalimat yang bernilai benar atau salah tapi tidak keduanya
• Contoh :– 2 + 2 = 4– 6 adalah bilangan prima– Surabaya adalah ibukota Prop. Jatim– Semua sudut dari segitiga sama sisi
adalah 60O
![Page 4: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/4.jpg)
Matematika Diskrit
Teori ttg nilai kebenaranTeori ttg nilai kebenaran• Teori Korespondensi
– Benar jika sesuai dgn keadaan sesungguhnya
– Misal : setiap manusia pasti mati (Benar)
• Teori Koherensi– Benar jika koheren, konsisten atau tdk
bertentangan dgn kalimat sebelumnya yang benar (aksioma/postulat)
– Misal : 6 adalah bil. Prima (salah)
![Page 5: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/5.jpg)
Matematika Diskrit
Soal 1Soal 1• Manakah Kalimat berikut yang
merupakan pernyataan– X + 3 = 2– X + 3 = 2 adalah pernyataan– Tadi pagi Fahmi bertanya : “ siapa yang
belum makan pagi?”– Populasi kucing dan tikus di STIS adalah
23 ekor
![Page 6: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/6.jpg)
Matematika Diskrit
Soal 2Soal 2• Andi berbohong pada hr Senin, Selasa &
Rabu, selain itu tdk. Badu berbohong hanya pd hr Kamis, Jum’at & Sabtu. Pada suatu hari Andi berkata :”Kemarin adalah hari dimana saya berbohong” dan Badu menimpali “ Kemarin juga merupakan hari saya berbohong.”
• Pada hari2 apakah mereka berdua dapat menyatakan hal itu?
• Pada hari2 apa mereka bedua dapat menyatakan “kemarin adalah hari berkata jujur”?
![Page 7: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/7.jpg)
Matematika Diskrit
Penghubung KalimatPenghubung Kalimat• Negasi (Tidak, Not, )• Konjungsi (Dan, And, )• Disjungsi (Atau, Or, )• Implikasi ( Jika … maka …, )• Biimplikasi ( … jika dan hanya jika …,
)
![Page 8: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/8.jpg)
Matematika Diskrit
EkuivalenEkuivalen• Dua kalimat ekuivalen (scr logika, /
) jika dan hanya jika keduanya mempunyai kebenaran yang sama untuk semua substitusi nilai kebenaran masing2 penyusunnya
• Misal : p q p q
![Page 9: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/9.jpg)
Matematika Diskrit
Hukum Ekuivalensi Logika 1Hukum Ekuivalensi Logika 11. Komutatif
• p q q p• p q q p
2. Asosiatif• (p q) r p (q r)• (p q) r p (q r)
3. Distributif• p (q r) (p q) (p r)• p (q r) (p q) (p r)
![Page 10: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/10.jpg)
Matematika Diskrit
Hukum Ekuivalensi Logika 2Hukum Ekuivalensi Logika 24. Identitas
• p T p• p F p
5. Ikatan• p T T• p F F
6. Negasi• p p F• p p T
![Page 11: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/11.jpg)
Matematika Diskrit
Hukum Ekuivalensi Logika 3Hukum Ekuivalensi Logika 37. Idempoten
• p p p• p p p
8. De Morgan (p q) p q (p q) p q
9. Absorbsi• p (p q) p• p (p q) p
![Page 12: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/12.jpg)
Matematika Diskrit
Tautologi & KontradiksiTautologi & Kontradiksi• Tautologi : Kalimat yang selalu
bernilai benar apapun nilai kalimat penyusunnya– Contoh : (p q) q
• Kontradiksi : Kalimat yang selalu bernilai salah apapun nilai kalimat penyusunnya– Contoh : (q (p q))
![Page 13: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/13.jpg)
Matematika Diskrit
Konvers, Invers, Konvers, Invers, KontraposisiKontraposisi
• Implikasi p q• Konversnya : q p• Inversnya : p q• Kontraposisinya : q p
![Page 14: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/14.jpg)
Matematika Diskrit
Inferensi LogikaInferensi Logika
Tehnik menurunkan kesimpulan berdasarkan hipotesa yang ada tanpa harus menggunakan tabel kebenaran
![Page 15: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/15.jpg)
Matematika Diskrit
ArgumenArgumen
• Rangkaian kalimat-kalimat
• Valid bila untuk sembarang pernyataan yang disubstitusikan ke dalam hipotesa, jika hipotesa benar maka kesimpulan benar
![Page 16: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/16.jpg)
Matematika Diskrit
Langkah mengecek validitas Langkah mengecek validitas argumenargumen
1. Tentukan hipotesa dan kesimpulan kalimat
2. Buat tabel yg menunjukkan nilai kebenaran untuk semua hipotesa dan kesimpulan
3. Cari baris kritis, yaitu baris yg semua hipotesa benar
4. Pd baris kritis, jika kesimpulan benar maka argumen valid
![Page 17: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/17.jpg)
Matematika Diskrit
Model Model Inferensi (1)Model Model Inferensi (1)
![Page 18: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/18.jpg)
Matematika Diskrit
Model Model Inferensi (2)Model Model Inferensi (2)
![Page 19: Logika Matematika](https://reader036.vdokumen.com/reader036/viewer/2022081504/568150fc550346895dbf1b9c/html5/thumbnails/19.jpg)
Matematika Diskrit
Model Model Inferensi (3)Model Model Inferensi (3)