TEORI LOGIKA

Logika
+ Proposisi
+ Tabel Kebenaran
+ Hukum – Hukum Proposisi

2
Logika - Proposisi
+ Logika digunakan untuk merancang bermacam-
macam perangkat komputasi.
+ Dasar dari logika adalah pernyataan yang dapat
bernilai benar atau salah. 
+ Proposisi adalah
pernyataan deklaratif yang hanya dapat
bernilai benar ATAU salah (tidak kedua-
duannya). 

3
Logika – operasi proposisi
+ Negasi
+ Konjungsi
+ Disjungsi
+ Exclusive Or
+ Implikasi
+ Proposisi Majemuk

4
Logika – operasi proposisi -
negasi
+ Negasi dari suatu prpposisi p adalah proposisi
yang memiliki nilai kebenaran Kebalikan
(ingkaran) dari nilai kebenaran proposisi p.
+ negasi p dinotasikan sebagai : ~ p
+ Tabel kebenaran p ~ p
True False
False True

5
Logika – operasi proposisi -
konjungsi
+ Jika ada proposisi p dan q maka konjungsi (di
baca “and”)
+ Tabel kebenaran
p q p^q
True True True
True False False
False True False
False False False

6
Logika – operasi proposisi -
disjungsi
+ Jika ada proposisi p dan q maka konjungsi (dibaca
“Atau”).
+ Tabel kebenaran
p q pvq
True True True
True False True
False True True
False False False

7
Logika – operasi proposisi –
exclusive or p dan q maka exclusive
+ Jika ada proposisi or
(XOR).
+ Tabel kebenaran. p q p⊕q
True True False
True False True
False True True
False False False

+ Pada XOR hanya jika salah satu bernilai True maka

kesimulan TRUE
8
Logika – operasi proposisi -
implikasi
+ Jika ada proposisi p dan q maka implikasi
(dibaca jika p maka q).
+ Tabel kebenaran p q pq
True True True
True False False
False True True
False False True
+ p disebut hipotesis/antesede/premis
+ q disebut konklusi/kesimpulan

9
Logika – operasi proposisi –
proposisi majemuk
+ Proposisi-proposisi tunggal dapat digabung
menjadi proposisi gabungan disebut COMPOUND
PROPOSITION (Komposisi Majemuk).
+ Komposisi majemuk  ini dapat bernilai selalu
benar atau selalu salah.
+ Tautology       : Komposisi majemuk yang bernilai
selalu benar, misal : p ˅ ~ p
+ Contradiction : Komposisi majemuk yang bernilai
selalu salah, misal : p  ^ ~p 

10
Logika – operasi proposisi –
proposisi majemuk
+ Tabel Kebenaran

p ~p p ˅ ~ p p  ^ ~ p
True False True False
False True True False

11
 Hukum – hukum preposisi
+ Hukum Identitas + Hukum Idempoten + Hukum Komutatif
p ˅ F ⇔ p p  ˅ p ⇔ p p ˅ q ⇔ q ˅ p
P ^ T ⇔ p p ^ p ⇔ p p ^ q ⇔ q ^ p 
+ Hukum + Hukum Involusi + Hukum Asosiatif
Null/dominasi (Negasi Ganda)
p  (q ˅ r) ⇔ (p ˅ q) ˅ r
p ^ F ⇔ F ~(~p) ⇔ p
p ^ (q ^ r) ⇔ (p ^ q) ^ r
+ Hukum
p  ˅ T ⇔ T + Hukum Distributif
Penyerapan
+ Hukum Negasi (arbsorbsi) p ˅ (q ^ r) ⇔ (p ˅ q) ^ (p ˅ r)
p  ˅ ~p ⇔ T p ˅ (p ⇔ q) ⇔ p
p ^ (q ˅ r) ⇔ (p ^ q) ˅ (p ^ r)
p ^  ~p ⇔ F p ^ (p ˅ q) ⇔ p
+ Hukum De Morgan
~(p ^ q) ⇔ ~p ˅ ~q
12
latihan
1. Uji kebenaran :
a. ~ (p ˅q) ⇔ ~p ^~q
b. p ∨ ~ q) → (p ∧ q)
2. Diberikan dua pernyataan sebagai berikut:
p : Hari ini hujan lebat.
q : Hari ini kuliah libur.
Nyatakan dengan kata-kata:
a. p ∧ q
b. p ∧ ~q
c. ~p ∧ q
d. ~p ∧ ~q

13
3. Jika p → q bernilai salah, maka tentukan (p v q)
→ (p ^ q).
4. Jika p bernilai benar, dan q bernilai salah,
tentukan :
a. ~p ∧ ~q
b. ~(p ∨ q) = ~p ∧ ~ q
c. ~ ( p ∧ q )
d. p ∧ ( ( r v q )  → r )

14
Thanks!

15