DASAR – DASAR LOGIKA INFORMATIKA Erik Hadi Saputra, S.Kom, M.Eng.
PENILAIAN MATCHING PAKAIAN 30% TUGAS/PRESENTASI 15% (CELANA+KEMEJA+DASI+SEPATU) TUGAS/PRESENTASI 15% UJIAN MID SEMESTER 25% UJIAN AKHIR SEMESTER 30%
KONVERSI NILAI A = 80 -100 B = 60 -79 C = 40 -59 D = 20 -39 E = 0 -19
Proposition (pernyataan) Merupakan komponen penyusun logika dasar yang dilambangkan dengan huruf kecil (p, q, r, …..) yang memiliki nilai kebenaran (True atau False). Diwakili oleh kalimat deklaratif. Lawan kalimat deklaratif Kalimat Terbuka Untuk mengkombinasikan dua atau lebih proposisi diperlukan “connective/penghubung”.
Syntactics Rule (Aturan Sintaktik) Adalah aturan yang diperlukan untuk mengkombinasikan antara propositions dan propositional connectives untuk menghasilkan sentences (kalimat logika).
Propositions + Propositional Connectives Sentences Propositional connective yang digunakan: Not (~), and (), or (), if – then - (), If – then - else, dan if and only if ()
Interpretasi Adalah pemberian nilai kebenaran (true atau false) pada setiap symbol proposisi dari suatu kalimat logika. Semantic Rule (Aturan Semantik) Adalah suatu aturan yang digunakan untuk menentukan “truth value” dari suatu sentence, yaitu :
Negation Rule (Aturan NOT) p not p True False
2. Conjunction Rule (Aturan AND) p q p and q True False
3. Disjunction Rule (Aturan OR) p q p or q True False
Sifat-sifat aljabar logika untuk konjungsi dan disjungsi Hukum Idempoten pvp = p pp = p Hukum Komutatif pvq = qvp pq = qp Hukum Assosiatif (pvq)v r = pv(qvr) (pq) r = p(qr)
Sifat-sifat aljabar logika untuk konjungsi dan disjungsi Hukum Distributif pv(qr) = (pvq) (pvr) p(qvr) = (pq) v (pr) Hukum Identitas pv False = p pTrue = p pv True = True p False = False
Sifat-sifat aljabar logika untuk konjungsi dan disjungsi Hukum Komplemen pv not p = True pnot p = False not (not p) = p Hukum De Morgan Negasi dari konjungsi dan disjungsi: not (pvq) = not p not q not (pq) = not p v not q
THANX ‘U..