1 / 12

DASAR – DASAR LOGIKA INFORMATIKA

DASAR – DASAR LOGIKA INFORMATIKA. MATKUL LOGIKA. 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 .

minowa
Télécharger la présentation

DASAR – DASAR LOGIKA INFORMATIKA

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. DASAR – DASARLOGIKA INFORMATIKA MATKUL LOGIKA

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

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

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

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

  6. Negation Rule(Aturan NOT)

  7. 2. Conjunction Rule(Aturan AND)

  8. 3. Disjunction Rule(Aturan OR)

  9. 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)

  10. 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

  11. 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

  12. THANX ‘U.. 

More Related