MATEMATIKA DISKRIT LOGIKA MATEMATIKA Contoh kasus p Anda

  • Slides: 37
Download presentation
MATEMATIKA DISKRIT LOGIKA MATEMATIKA

MATEMATIKA DISKRIT LOGIKA MATEMATIKA

Contoh kasus p Anda berdagang dan modalnya Anda pinjam dari seorang teman. Anda berjanji,

Contoh kasus p Anda berdagang dan modalnya Anda pinjam dari seorang teman. Anda berjanji, “Bila saya tidak rugi, saya akan melunasi semua utang saya sesegera mungkin”. p Keadaan berikut ini, yang manakah Anda dapat dikatakan ingkar janji? i) Anda tidak rugi dan Anda melunasi utang dengan segera ii) Anda tidak rugi dan Anda tidak melunasi utang dengan segera iii) Anda melunasi utang padahal anda rugi iv) Anda melunasi utang dan Anda tidak rugi

Logika p Logika adalah dasar dari penjabaran matematika (mathematical reasoning) p Logika mempelajari penjabaran

Logika p Logika adalah dasar dari penjabaran matematika (mathematical reasoning) p Logika mempelajari penjabaran (reasoning) secara benar p Fokus pada relasi antar pernyataan (statement) / kalimat (sentence).

Tentukan! 1. p 2. p 3. p 4. p 5. p 6. p 7.

Tentukan! 1. p 2. p 3. p 4. p 5. p 6. p 7. p 8. p Rapikan tempat tidurmu! Apakah hari ini akan hujan? Yang duduk di bawah pohon itu cantik Bagus benar buku ini! Berapa orang yang datang? Seseorang memakai kacamata New York adalah ibukota Amerika Serikat Sungai Themes melintasi kota London

Kalimat

Kalimat

Tentukan! 1. p 2. p 3. p 4. p 5. p 6. p 7.

Tentukan! 1. p 2. p 3. p 4. p 5. p 6. p 7. p 8. p Rapikan tempat tidurmu! Apakah hari ini akan hujan? Yang duduk di bawah pohon itu cantik Bagus benar buku ini! Berapa orang yang datang? Seseorang memakai kacamata 2 x + 8 y ≥ 0 x+2=8

Tentukan! 9. Semua bilangan irasional adalah bilangan real p 10. Sungai membeli hijau daun

Tentukan! 9. Semua bilangan irasional adalah bilangan real p 10. Sungai membeli hijau daun p 11. Apakah x^2 − 25 = ( x − 5)( x + 5) ? p 12. Ada daun yang tidak berwarna hijau p 13. Buktikan 8 + 32 = 8 2 ! p 14. 12345 habis dibagi 3 dan 5 p 15. 5 x + 2 =15 ; x∈R p

Proposisi p p Proposisi merupakan sebuah pernyataan atau kalimat yang punya nilai kebenaran (benar

Proposisi p p Proposisi merupakan sebuah pernyataan atau kalimat yang punya nilai kebenaran (benar = 1 / salah = 0). Proposisi disimbolkan dengan huruf p, q, dsb. Biasanya berbentuk kalimat deklaratif Contoh proposisi: n 23 adalah bilangan prima proposisi primitip(primitif ) n Taufik Hidayat pandai main bulu tangkis atau tenis proposisi majemuk(composite). Contoh bukan proposisi: n Berapa harga tiket ke Malaysia? n Silakan duduk.

MACAM PROPOSISI p Kalimat deklaratif yang tidak memuat penghubung disebut proposisi primitif(primitif ) p

MACAM PROPOSISI p Kalimat deklaratif yang tidak memuat penghubung disebut proposisi primitif(primitif ) p Kalimat deklaratif yang memuat penghubung ”atau” dan ”jika. . . maka. . . ” disebut proposisi majemuk (composite).

Konektif Jika p dan q adalah proposisi, dapat dibentuk proposisi (majemuk) baru (compound proposition)

Konektif Jika p dan q adalah proposisi, dapat dibentuk proposisi (majemuk) baru (compound proposition) dengan menggunakan konektif p Macam-macam konektif: p n n n AND (konjungsi) Inclusive OR (disjungsi) Exclusive OR NOT (negasi) Implikasi ganda Simbol Simbol ^ v

Tingkat Presedensi p p p NEGASI KONJUNGSI DISJUNGSI IMPLIKASI GANDA (NOT) (AND) (OR, XOR)

Tingkat Presedensi p p p NEGASI KONJUNGSI DISJUNGSI IMPLIKASI GANDA (NOT) (AND) (OR, XOR) Catatan: mengatasi tingkat presedensi dengan cara memberikan kurung di pada proposisi yang ingin didahulukan

Tabel Kebenaran Konjungsi p q 0 0 1 1 1 Contoh : p p

Tabel Kebenaran Konjungsi p q 0 0 1 1 1 Contoh : p p = Harimau adalah binatang buas p q = Malang adalah ibukota Jawa Timur p p ^ q = Harimau adalah binatang buas dan Malang adalah ibukota Jawa Timur p p ^ q salah. p Perhatikan bahwa tidak perlu ada keterkaitan antara p dan q

Tabel Kebenaran Disjungsi (Inclusive OR) p q pvq 0 0 1 1 1 Contoh:

Tabel Kebenaran Disjungsi (Inclusive OR) p q pvq 0 0 1 1 1 Contoh: q p = Jono seorang mahasiswa q q = Mira seorang sarjana hukum q p v q = Jono seorang mahasiswa atau Mira seorang sarjana hukum

Tabel Kebenaran Exclusive Disjunction p q “Either p or q” (but not both), dengan

Tabel Kebenaran Exclusive Disjunction p q “Either p or q” (but not both), dengan simbol p q p 0 0 1 q 0 1 0 p q 0 1 1 0 p q bernilai benar hanya jika p benar dan q salah, atau p salah dan q benar q q p = "John is programmer, q = "Mary is a lawyer" p q = "Either John is a programmer or Mary is a lawyer"

Tabel Kebenaran Negasi p p 0 1 1 0 Contoh: p p = Jono

Tabel Kebenaran Negasi p p 0 1 1 0 Contoh: p p = Jono seorang mahasiswa p p = Jono bukan seorang mahasiswa

Kalimat majemuk (compound statements) p p, q, r merupakan kalimat / pernyataan sederhana (simple

Kalimat majemuk (compound statements) p p, q, r merupakan kalimat / pernyataan sederhana (simple statements) Apabila ada dua buah proposisi misalkan proposisi A dan proposisi B maka dapat dibentuk proposisi baru (Compound Proposition) dengan menggunakan konektor atau perangkai. Beberapa contoh bentukan compound statements, seperti: n (p q)^r n p (q^r) n ( p) ( q) n (p q)^( r) n dll

HITUNG Lengkapilah tabel dibawah ini serta berikan kesimpulan akhirnya p q 0 0 0

HITUNG Lengkapilah tabel dibawah ini serta berikan kesimpulan akhirnya p q 0 0 0 1 1 1 0 1 p q p q (p q) v ( p q)

Tabel Kebenaran (p r) q p q r 0 0 0 1 1 1

Tabel Kebenaran (p r) q p q r 0 0 0 1 1 1 0 0 1 1 1 (p r) q

Implikasi Disebut juga proposisi kondisional (conditional proposition) dan berbentuk “jika p maka q” p

Implikasi Disebut juga proposisi kondisional (conditional proposition) dan berbentuk “jika p maka q” p Notasi simboliknya : p q p Contoh: p = Jono seorang mahasiswa q = Mira seorang sarjana hukum p q = Jika Jono seorang mahasiswa maka Mira seorang sarjana hukum

Tabel Kebenaran Implikasi p q 0 0 1 1 1

Tabel Kebenaran Implikasi p q 0 0 1 1 1

Hypotesa dan konklusi p Dalam implikasi p q p disebut antecedent, hypothesis, premise q

Hypotesa dan konklusi p Dalam implikasi p q p disebut antecedent, hypothesis, premise q disebut konsekuensi atau konklusi (consequent, conclusion)

Perlu dan Cukup Kondisi “perlu” dinyatakan oleh konklusi. p Kondisi “cukup” dinyatakan oleh hipotesa.

Perlu dan Cukup Kondisi “perlu” dinyatakan oleh konklusi. p Kondisi “cukup” dinyatakan oleh hipotesa. p Perlu = necessary; Cukup = sufficient p n n n Contoh: p Jika Jono seorang mahasiswa maka Mira seorang sarjana hukum Kondisi perlu: Mira seorang sarjana hukum Kondisi cukup: Jono seorang mahasiswa

Tabel kebenaran Implikasi Ganda (Biimplikasi) Implikasi Ganda (double implication) dibaca “p jika dan hanya

Tabel kebenaran Implikasi Ganda (Biimplikasi) Implikasi Ganda (double implication) dibaca “p jika dan hanya jika q” p Notasi simboliknya p q p p 0 q 0 p q 1 0 1 1 0 0 0 1 1 1 (p q) ^ (q p)

KESIMPULAN BIIMPLIKASI p p q ekivalen dengan (p q)^(q p) p 0 q 0

KESIMPULAN BIIMPLIKASI p p q ekivalen dengan (p q)^(q p) p 0 q 0 p q 1 (p q) ^ (q p) 1 0 1 1 0 0 0 1 1

Ekivalensi Logikal q q Dua proposisi yang tabel kebenarannya identik disebut ekivalen (logically equivalent).

Ekivalensi Logikal q q Dua proposisi yang tabel kebenarannya identik disebut ekivalen (logically equivalent). Contoh: p q ekivalen (logically equivalent to) p q p q 0 0 1 0 1 1

Konversi dan Inversi p p p Konversi dari p q adalah q p Inversi

Konversi dan Inversi p p p Konversi dari p q adalah q p Inversi dari p q adalah p q Apakah Konversi dan Inversi diatas equivalent? ? ? BUKTIKAN!!!!

PEMBUKTIAN p q tidak ekivalen q p p p q tidak ekivalen p q

PEMBUKTIAN p q tidak ekivalen q p p p q tidak ekivalen p q p q q p p q 0 0 1 1 1 0 0 1 1 1 1

Kontrapositif kontrapositif dari proposisi p q adalah q p p Buat Tabel Kebenarannya dan

Kontrapositif kontrapositif dari proposisi p q adalah q p p Buat Tabel Kebenarannya dan apakah p q dan q p ekivalen? ? ? p

JAWAB KONTRAPOSITIF p p q dan q p ekivalen p 0 0 1 q

JAWAB KONTRAPOSITIF p p q dan q p ekivalen p 0 0 1 q 0 1 0 p q 1 1 0 q p 1 1 0 1 1

Ekivalensi Logika Ekivalensi Nama p T p p F p Identity laws p T

Ekivalensi Logika Ekivalensi Nama p T p p F p Identity laws p T T p F F Domination laws p p p Idempotent laws ( p) p Double negation laws p q q p Commutative laws (p q) r p (q r) (p q) r p ( q r) Associative laws

Ekivalensi Logika Ekivalensi Nama p (q r) (p q) (p r) Distributive laws (p

Ekivalensi Logika Ekivalensi Nama p (q r) (p q) (p r) Distributive laws (p q) ( p) ( q) De Morgan’s laws p (p q) p Absorption laws p p T p p F Negation laws

Ekivalensi Logika Ekivalensi p q q p p q (p q) p q (p

Ekivalensi Logika Ekivalensi p q q p p q (p q) p q (p q) (p r) p (q r) (p r) (q r) (p q) r (p q) (p r) p (q r) (p r) (q r) (p q) r Ekivalensi p q (p q) (q p) p q (p q) ( p q) (p q) p q

Tautology Proposisi yang selalu bernilai benar (true) dalam keadaan apapun p Contoh: p p

Tautology Proposisi yang selalu bernilai benar (true) dalam keadaan apapun p Contoh: p p v q p p 0 0 1 q 0 1 0 p pvq 1 1 1 ((p => q) ^ p) => q

Kontradiksi p Proposisi yang selalu bernilai salah (false) dalam keadaan apapun p Contoh :

Kontradiksi p Proposisi yang selalu bernilai salah (false) dalam keadaan apapun p Contoh : p ^ p p p ^ ( p) 0 0 1 0

Contoh Implikasi Jika harimau bertaring, maka ia binatang buas p Invers Jika harimau tidak

Contoh Implikasi Jika harimau bertaring, maka ia binatang buas p Invers Jika harimau tidak bertaring, maka ia bukan binatang buas p Konvers Jika harimau binatang buas, maka ia bertaring p Kontrapositif Jika harimau bukan binatang buas, maka ia tidak bertaring p

Tugas 2 1. Dari kalimat dibawah ini mana yang termasuk proposisi ? Tentukan nilai

Tugas 2 1. Dari kalimat dibawah ini mana yang termasuk proposisi ? Tentukan nilai kebenaran dari proposisi tsb. p p p 7 merupakan sebuah bilangan prima. Jangan lakukan. Jika 10 habis dibagi dengan 4, maka juga habis dibagi dengan 2. x + y = y + x untuk setiap pasangan dari bilangan real x dan y Jam berapa sekarang?

Latihan 2. Tunjukkan bahwa manakah yang ekivalen dari ketiga logika berikut? a. p q

Latihan 2. Tunjukkan bahwa manakah yang ekivalen dari ketiga logika berikut? a. p q b. (p q) ( p q) c. (p q) ^ (q p) 3. Tentukanlah konvers dari Jika Beijing di RRC, maka Tokyo di Jepang 4. Tentukanlah invers dari Jika segitiga sama kaki, maka ketiga sudutnya sama 5. Tentukanlah kontrapositif dari Jika semua jeruk manis, maka jeruk ini harus manis