Materi -1 PROPOSITION LOGIC LOGIKA INFORMATIKA Heri Sismoro, M.Kom. STMIK AMIKOM Yogyakarta STMIK AMIKOM YOGYAKARTA Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 Website: www.amikom.ac.id 1 Propositions Komponen dasar pembentuk kalimat logika (sentence) Membentuk kalimat deklaratif~yaitu kalimat yang dapat ditentukan nilai kebenarannya (truth value), true atau false tetapi tidak keduanya Contoh: 1. Jakarta ibu kota negara Indonesia 2. 3 adalah bilangan prima yang pertama 3. 6+9>20 Dinyatakan dengan: 1. Truth Value, (misal: true dan false) 2. Propositional Symbols, (misal: p, q, r, s, t, . . .) 2 Sententces Dibangun dari proposisi-proposisi dengan menggunakan “propositional connectives”, yaitu: not, and, or, if-then, -if and only if-, If-then-else Aturan pembentukan sentences: 1. Proposition, (p) 2. Negation proposisi p, (not p) 3. Conjunction, (p and q) 4. Disjunction, (p or q) 5. Implication, (if p then q) 6. Equivalence, (p if and only if q) 7. Conditional, (if p then q else r) 3 Notation Notasi dari 6 connective: Englishlike Konvensional Not ~ And ∧ Or V If-then If and only if If-then-else- If-then-else- Contoh penulisan notasi konvensional: (if ((p or q) and (if q then r) then (if (p and q) then (not r))) adalah: ((p V q) ∧ (q r) ((p ∧ q) ~r) 4 Interpretation Pemberian truth value pada setiap simbol proposisi dari suatu kalimat logika Contoh: not p or q Maka, interpretasi untuk proposisi p dan q adalah: p True p False atau q True q False 5 Exercise Soal 1 Diberikan simbol penghubung kalimat logika berikut: Englishlike Konvensional Not ~ And ∧ Or V If-then If and only if If-then-else- If-then-else- Pernyataan: Simbol Pernyataan p Saya suka kuliah logika informatika q 3 pangkat 2 tidak lebih besar dari 10 r 1 bukan bilangan prima pertama s Deret fibbonaci ke-4 adalah 3 t Dua garis sejajar memiliki kemiringan yang sama Ubahlah kalimat berikut menjadi simbol kalimat logika (simbol englishlike): 1. Saya suka kuliah logika informatika 2. Jika Saya tidak suka kuliah logika informatika maka 3 pangkat 2 tidak lebih besar dari 10 3. 1 bukan bilangan prima pertama jika dan hanya jika Deret fibbonaci ke-4 adalah 3 4. Tidak benar bahwa jika Saya tidak suka kuliah logika informatika maka dua garis sejajar tidak memiliki kemiringan yang sama 5. Jika 1 adalah bilangan prima pertama maka deret fibbonaci ke-4 adalah 3 atau tidak benar jika 3 pangkat 2 tidak lebih besar dari 10 dan 1 bilangan prima pertama maka Saya suka kuliah logika informatika Exercise Soal 2 Ubahlah kalimat logika berikut ke dalam simbol konvensional: 1. 2. 3. 4. 5. 6. (if p then q) or (if q then p) (not q) or not[if p then (notq) and p) (if p then (not q)) if and only if not (p and q) (if (p or q) then r] if and only if [(if p then r) and (if q then r)) (p if and only if (q if and only if r)) if and only if ((p if and only if q) if and only if r) (if p then q and r else not q and s) if and only if (if q then p and r else not p and s) 9