1 / 33

LOGIKA MATEMATIKA

LOGIKA MATEMATIKA. Pertemuan II. Apa saja yang sudah dipelajari?. -Kalimat pernyataan-bukan pernyataan -Kalimat terbuka-himpunan penyelesaiannya -Ingkaran pernyataan-ingkaran kal. terbuka -Kalimat berkuantor -Ingkaran kalimat berkuantor. Jawaban PR. Dua bilangan prima

silver
Download Presentation

LOGIKA MATEMATIKA

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. LOGIKA MATEMATIKA Pertemuan II

  2. Apa saja yang sudah dipelajari? -Kalimat pernyataan-bukan pernyataan -Kalimat terbuka-himpunan penyelesaiannya -Ingkaran pernyataan-ingkaran kal. terbuka -Kalimat berkuantor -Ingkaran kalimat berkuantor

  3. Jawaban PR • Dua bilangan prima • Ada orang yang beragama islam haji • Semua bilangan komposit tidak ganjil • Ada bilangan prima yang tidak ganjil • Ada bilangan komposit yang tidak mempunyai lebih dari dua faktor • Semua ikan laut yang tidak bertelur • 3 + 7  10 • 1 + 1  2 • Diagonal belah ketupat tidak sama panjang • Semua burung dapat terbang

  4. Apa saja yang akan dipelajari? Pernyataan majemuk yang meliputi: -Konjungsi -Disjungsi : Inklusif Ekslusif • Implikasi • Biimplikasi • Tabel Kebenaran

  5. KONJUNGSI • Lambang : ∧ • Dibaca : ‘dan’ bisa juga ‘tetapi’, ‘meskipun’, ‘walaupun’, ‘namun’ • Definisi: p∧q bernilai benar hanya jika kedua pernyataan p dan q benar • Tabel kebenaran:

  6. Contoh Konjungsi • (p) = S • p: 1 > 2 • q: 2 > 1 • p ∧q : 1 > 2 dan 2>1 • (q) = B •  ( p∧q ) = • S ∧ B = S ( ~p ∧q ) = • B ∧ B = B [~( ~p⋀ ~q)] = ~(B ⋀ S) =B

  7. Contoh Konjungsi Lainnya • p: Hari ini hujan • q: Hari ini tidak ada halilintar • p∧q : Hari ini hujan tetapi tidak ada halilintar • Nilai kebenarannya tergantung keadaan saat itu

  8. Contoh Konjungsi Lainnya Lagi • Misal p(x): 1-x = 2x-5 q: 7 adalah bilangan prima Tentukan nilai x agar (p(x) ∧q) a. bernilai benar! b. bernilai salah! • (q)=B, supaya (p(x) ∧q) = B maka (p(x)) harus B, jadi haruslah x = 2 • b. supaya (p(x) ∧ q)=S maka (p(x)) harus S, jadi haruslah x2

  9. Latihan p: Bunga mawar berbau harum q: Bunga mawar berduri Nyatakan dalam simbol p dan q! 1. Bunga mawar berbau harum tapi berduri 2. Bunga mawar tidak harum juga tidak berduri 3. Tidak benar bahwa bunga mawar harum dan tidak berduri 4. Tidak benar bahwa bunga mawar tidak berduri juga tidak berbau harum p∧q ~p∧~q ~(p∧~q) ~(~q∧~p)

  10. DISJUNGSI(Inklusif) • Lambang : ∨ • Dibaca : atau • Definisi : p∨q bernilai benar jika salah satu atau kedua pernyataan p dan q bernilai benar • Tabel kebenaran:

  11. DISJUNGSI EKSLUSIF(Jarang dipakai,) • Lambang : ∨ • Dibaca : atau • Definisi : p∨q bernilai benar HANYA jika salah satu dari pernyataan p atau q bernilai benar • Tabel kebenaran:

  12. Contoh Disjungsi p: Pantai Kuta berada di Pulau Bali q: Pulau Bali terletak di Indonesia bagian timur maka pvq : • (p) = B • (q) = S Pantai Kuta berada di Pulau Bali atau Pulau Bali terletak di Indonesia bagian timur (~p vq) = S v S = S (pv ~q) = B v B = B (pv ~q) = B v B = S (pvq) = B v S = B

  13. Latihan Lagi • p: sudut lancip besarnya kurang dari 90o • q: Indonesia adalah negara ASEAN • r: 7 adalah bilangan rasional Tentukan nilai kebenaran pernyataan berikut p∨ ~q ~p ∨ ~r (q v ~r) ∧ ~q B B S B B S

  14. Tabel Kebenaran Tentukan nilai kebenaran ~pvq dengan tabel kebenaran! S B B B S B S S B B S B B B S S

  15. Contoh Lain Tabel Kebenaran ~ ( p v q ) S B B B S B B S S S B B S B S S

  16. Bagaimana untuk 3 proposisi? Kemungkinan Jawaban = 2n ( p v q ) v r B B BBBBSSSS BBSSBBSS BSBSBSBS B B B B B B B B B B B S S S

  17. Aplikasi Konjungsi pada rangkaian listrik • Rangkaian Seri: • Supaya arus mengalir dari A ke B, maka kedua saklar harus ditutup. • Memiliki sifat rangkaian konjungsi • Lambang p∧q p q B A

  18. Aplikasi Disjungsi pada rangkaian listrik • Rangkaian Paralel: • Supaya arus mengalir dari A ke B, maka salah satu saklar harus ditutup, atau kedua saklar ditutup. • Memiliki sifat rangkaian disjungsi • Lambang p v q p B A q

  19. Contoh • Lambang logikanya : (p v q)  r p r q

  20. PR Buat Tabel kebenaran 1.

  21. PR 2.

  22. PR Buat Tabel kebenaran 1.

  23. PR 2.

  24. IMPLIKASI Lambang :  Dibaca : Jika… maka… Definisi : p  q bernilai salah hanya jika p bernilai benar dan q bernilai salah Tabel Kebenaran : p berimplikasi q p syarat cukup bagi q q syarat perlu bagi p

  25. Contoh soal  (p )=B p: 3+4=7 q: sin 45o=0.5 q p : Jika sin 45o=0.5 maka 3+4=7 r : Jumlah sudut segitiga = 240o s : besar masing-masing sudut segitiga sama sisi = 80o r  s: Jika Jumlah sudut segitiga = 240o, maka besar masing-masing sudut segitiga sama sisi =80o  (q )=S  (q p)=B  (p q)=S ( r)=S ( s)=S  ( r s)=B

  26. BIIMPLIKASI Lambang :  Dibaca : … jika dan hanya jika… Definisi : p q bernilai benar hanya jika p dan q mempunyai nilai kebenaran yang sama Tabel Kebenaran : Jika p maka q dan jika q maka p p syarat cukup dan syarat perlu bagi q q syarat perlu dan syarat cukup bagi p

  27. TAUTOLOGI, KONTRADIKSI DAN KONTINGENSI • Pernyataan majemuk yang nilai tabel kebenarannya selalu benar disebut TAUTOLOGI • Pernyataan majemuk yang nilai tabel kebenarannya selalu salah disebut KONTRADIKSI • Pernyataan majemuk yang nilai tabel kebenarannya ada yang benar, ada yang salah disebut KONTINGENSI

  28. Contoh TAUTOLOGI • [(p q) ∧p]  q B B B S S B B S B B S B

  29. Contoh KONTRADIKSI • [(p q) ∧p] ∧ ~ q S B B S S S S B S B S S S B B S

  30. Contoh KONTINGENSI ~ ( p v q ) S B B B S B B S S S B B S B S S

  31. Dua pernyataan yang EKIVALEN • Dua pernyataan disebut ekivalen (  ) jika kedua pernyataan majemuk tersebut mempunyai tabel kebenaran yang sama • p q  ~p v q , bukti:

  32. Bukti bahwa p q  ~p v q B B S S B B B B SAMA

  33. HOMEWORK • KONJUNGSI DISJUNGSI HAL 290 • NO 2, 5, 9

More Related