Pengantar Logika - 2

Transkripsi

1 Matematika Komputasional Pengantar Logika - 2 Oleh: M. Ali Fauzi PTIIK - UB 1

2 Tingkat Presedensi Urutan pengerjaan logika: 2

3 Tingkat Presedensi Urutan pengerjaan logika: Jadi, jika ada p q r berarti lebih benar (p q) r, dibanding p (q r) Jika ada p q berarti lebih benar ( p) q, bukan berarti (p q) Jika ada p q r berarti lebih benar (p q) r, bukan p (q r) 3

4 Operasi Bitwise Komputer merepresentasikan informasi menggunakan bit. Bit adalah simbol dengan dua kemungkinan nilai, yaitu 0 dan 1. Operasi bit dalam komputer menggunakan operator logika konektif seperti,, and 4

5 Operasi Bitwise Contoh operasi bitwise pada bit string dengan panjang Bitwise OR? Bitwise AND? Bitwise XOR? 5

6 Operasi Bitwise Contoh operasi bitwise pada bit string dengan panjang Bitwise OR Bitwise AND Bitwise XOR 6

7 Proposisi Dua proposisi yang tabel kebenarannya identik disebut ekivalen (logically equivalent) p q p q (p q) ^ (q p)

8 Proposisi Dua proposisi yang tabel kebenarannya identik disebut ekivalen (logically equivalent) p q p q (p q) ^ (q p) p q (p q) ^ (q p) Atau p q (p q) ^ (q p) 8

9 Proposisi Dua proposisi yang tabel kebenarannya identik disebut ekivalen (logically equivalent) p q p q p q p q p q 9

10 Konvers dan Invers Konvers dari p q adalah q p Invers dari p q adalah p q 10

11 Konvers dan Invers Jika hari ini hujan, maka anak-anak libur sekolah Konvers nya adalah : Jika anak-anak libur sekolah, maka hari ini hujan Invers nya adalah : Jika hari ini tidak hujan, maka anak-anak tidak libur sekolah 11

12 Konvers dan Invers Konvers dari p q adalah q p Invers dari p q adalah p q Apakah konvers dan invers ekivalen? p q ekivalen q p? p q ekivalen p q? 12

13 Konvers dan Invers p q tidak ekivalen q p p q tidak ekivalen p q p q p q q p p q

14 Kontraposisi Kontraposisi dari p q adalah q p 14

15 Kontraposisi Kontraposisi dari p q adalah q p Jika hari ini hujan, maka anak-anak libur sekolah Kontraposisinya nya adalah : Jika anak-anak tidak libur sekolah, maka hari ini tidak hujan 15

16 Kontraposisi p q ekivalen q p p q p q q p

17 Tautology Tautology adalah Proposisi yang selalu bernilai benar (true) dalam keadaan apapun Contoh: p p v q p q p p v q

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

19 Latihan Dua pedagang barang kelontong mengeluarkan moto jitu untuk menarik pembeli. Pedagang pertama mengumbar motto Barang bagus tidak murah Pedagang kedua punya motto Barang murah tidak bagus Apakah kedua motto itu bermakna sama? 19

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

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

22 Ekivalensi Logika

23 Ekivalensi Logika Ekivalensi p q p q p q q p p q p q p q (p q) (p q) p q (p q) (p r) p (q r) (p r) (q r) (p q) r (p r) (q 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) (p q) p q 23

24 Ekivalensi dengan Hukum Logika Contoh. Tunjukkan bahwa p ~(p q) dan p ~q keduanya ekivalen secara logika. 24

25 Ekivalensi dengan Hukum Logika Contoh. Tunjukkan bahwa p ~(p q) dan p ~q keduanya ekivalen secara logika. Penyelesaian: p ~(p q ) p (~p ~q) (Hukum De Morgan) (p ~p) (p ~q) (Hukum distributif) T (p ~q) (Hukum negasi) p ~q (Hukum identitas) 25

26 Ekivalensi dengan Hukum Logika Contoh. Buktikan hukum penyerapan: p (p q) p 26

27 Propositional Satisfiability Sebuah proposisi majemuk dikatakan satisfiable jika ada minimal satu nilai tabel kebenaranya yang bernilai TRUE (benar) Jika proposisi majemuk tersebut tidak memiliki nilai TRUE (benar) sama sekali dalam tabel kebenarannya, maka proposisi majemuk tersebut disebut tidak satisfiable 27

28 Propositional Satisfiability p q satisfiable? q p satisfiable? p q p q q p

29 Propositional Satisfiability p p v q satisfiable? p q p p v q

30 Propositional Satisfiability p ^ p satisfiable? p p ^ ( p)

31 Latihan Tunjukkan bahwa (p ( p q)) and p q ekivalen. 31

32 Latihan Tunjukkan bahwa ( p q) (p q) tautology. 32

33 Latihan Tunjukkan bahwa ( p q) ekivalen dengan ( r p) ( r ( p q) ) ( r q) 33

34 Credit : Slide ini sebagian besar diambilkan dari materi Pengantar Logika oleh Bapak Rinaldi Munir dan Materi Logika oleh Ibu Rekyan Regasari serta materi The Foundations : Logic and Proofs pada buku Discrete Mathematics and Its Applications oleh Kenneth H. Rosen dengen beberapa penyesuaian perubahan 34