dasar – dasar logika informatika

Click here to load reader

Download DASAR – DASAR LOGIKA INFORMATIKA

Post on 07-Jan-2016

124 views

Category:

Documents

4 download

Embed Size (px)

DESCRIPTION

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 . - PowerPoint PPT Presentation

TRANSCRIPT

  • *DASAR DASARLOGIKA 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.Lawan kalimat deklaratif Kalimat TerbukaUntuk 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 SentencesPropositional 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)

    pnot pTrueFalseFalseTrue

  • *2. Conjunction Rule (Aturan AND)

    pqp and qTrueTrueTrueTrueFalseFalseFalseTrueFalseFalseFalseFalse

  • *3. Disjunction Rule (Aturan OR)

    pqp or qTrueTrueTrueTrueFalseTrueFalseTrueTrueFalseFalseFalse

  • *Sifat-sifat aljabar logika untuk konjungsi dan disjungsiHukum Idempotenpvp = ppp = pHukum Komutatifpvq = qvppq = qpHukum Assosiatif(pvq)v r = pv(qvr)(pq) r = p(qr)

  • *Sifat-sifat aljabar logika untuk konjungsi dan disjungsiHukum Distributifpv(qr) = (pvq) (pvr)p(qvr) = (pq) v (pr)Hukum Identitaspv False = ppTrue= ppv True= Truep False = False

  • *Sifat-sifat aljabar logika untuk konjungsi dan disjungsiHukum Komplemenpv not p= Truepnot p= Falsenot (not p)= pHukum De MorganNegasi dari konjungsi dan disjungsi:not (pvq)= not p not qnot (pq)= not p v not q

  • *THANX U..