140 likes | 359 Views
DASAR – DASAR LOGIKA INFORMATIKA. Erik Hadi Saputra, S.Kom, M.Eng. PENILAIAN. MATCHING PAKAIAN 30% (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.
E N D
DASAR – DASARLOGIKA INFORMATIKA Erik Hadi Saputra, S.Kom, M.Eng.
PENILAIAN • MATCHING PAKAIAN 30% (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 :
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