DASAR – DASAR LOGIKA INFORMATIKA

Presentasi berjudul: "DASAR – DASAR LOGIKA INFORMATIKA"— Transcript presentasi:

1 DASAR – DASAR LOGIKA INFORMATIKA
Erik Hadi Saputra, S.Kom, M.Eng.

2 PENILAIAN MATCHING PAKAIAN 30% TUGAS/PRESENTASI 15%
(CELANA+KEMEJA+DASI+SEPATU) TUGAS/PRESENTASI 15% UJIAN MID SEMESTER 25% UJIAN AKHIR SEMESTER 30%

3 KONVERSI NILAI A = B = C = D = E =

4 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”.

5 Syntactics Rule (Aturan Sintaktik)
Adalah aturan yang diperlukan untuk mengkombinasikan antara propositions dan propositional connectives untuk menghasilkan sentences (kalimat logika).

6 Propositions + Propositional Connectives  Sentences
Propositional connective yang digunakan: Not (~), and (), or (), if – then - (), If – then - else, dan if and only if ()

7 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 :

8 Negation Rule (Aturan NOT)
p not p True False

9 2. Conjunction Rule (Aturan AND)
p q p and q True False

10 3. Disjunction Rule (Aturan OR)
p q p or q True False

11 Sifat-sifat aljabar logika untuk konjungsi dan disjungsi
Hukum Idempoten pvp = p pp = p Hukum Komutatif pvq = qvp pq = qp Hukum Assosiatif (pvq)v r = pv(qvr) (pq) r = p(qr)

12 Sifat-sifat aljabar logika untuk konjungsi dan disjungsi
Hukum Distributif pv(qr) = (pvq)  (pvr) p(qvr) = (pq) v (pr) Hukum Identitas pv False = p pTrue = p pv True = True p False = False

13 Sifat-sifat aljabar logika untuk konjungsi dan disjungsi
Hukum Komplemen pv not p = True pnot p = False not (not p) = p Hukum De Morgan Negasi dari konjungsi dan disjungsi: not (pvq) = not p  not q not (pq) = not p v not q

14 THANX ‘U.. 