DASAR – DASAR

LOGIKA INFORMATIKA

ERIK HADI SAPUTRA

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

2
Syntactics Rule
(Aturan Sintaktik)

Adalah aturan yang diperlukan untuk

mengkombinasikan antara propositions dan
propositional connectives untuk
menghasilkan sentences (kalimat logika).
3
Propositions + Propositional
Connectives  Sentences
Propositional connective yang digunakan:
Not (~), and (), or (), if – then - (),
If – then - else, dan if and only if ()

4
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 :
5
1. Negation Rule
(Aturan NOT)

p not p

True False

False True

6
2. Conjunction Rule
(Aturan AND)

p q p and q

True True True

True False False
False True False
False False False
7
3. Disjunction Rule
(Aturan OR)

p q p or q
True True True
True False True
False True True
False False False
8
Sifat-sifat aljabar logika
untuk konjungsi dan disjungsi
 Hukum Idempoten
– p vp =p
– pp =p
 Hukum Komutatif
– p vq = q vp
– pq = q p
 Hukum Assosiatif
– (pvq)v r = pv(qvr)
– (pq) r = p(qr)
9
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
10
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
11
THANX ‘U.. 

12