Materi -1

PROPOSITION LOGIC

LOGIKA INFORMATIKA
Heri Sismoro, M.Kom.
STMIK AMIKOM Yogyakarta

STMIK AMIKOM YOGYAKARTA

Jl. Ringroad Utara Condong Catur Yogyakarta. Telp. 0274 884201 Fax 0274-884208 1
Website: www.amikom.ac.id
Propositions
Komponen dasar pembentuk kalimat logika (sentence)

Membentuk kalimat deklaratif~yaitu kalimat yang dapat ditentukan

nilai kebenarannya (truth value), true atau false tetapi tidak
keduanya
Contoh:
1. Jakarta ibu kota negara Indonesia
2. 3 adalah bilangan prima yang pertama
3. 6+9>20
Dinyatakan dengan:
1. Truth Value, (misal: true dan false)
2. Propositional Symbols, (misal: p, q, r, s, t, . . .)

2
Sententces
Dibangun dari proposisi-proposisi dengan menggunakan “propositional
connectives”, yaitu:
not, and, or, if-then,
-if and only if-, If-then-else
Aturan pembentukan sentences:
1. Proposition, (p)
2. Negation proposisi p, (not p)
3. Conjunction, (p and q)
4. Disjunction, (p or q)
5. Implication, (if p then q)
6. Equivalence, (p if and only if q)
7. Conditional, (if p then q else r)

3
Notation

Notasi dari 6 connective:

Englishlike Konvensional
Not ~
And ∧
Or V
If-then
If and only if
If-then-else- If-then-else-

Contoh penulisan notasi konvensional:

(if ((p or q) and (if q then r) then (if (p and q) then (not r)))
adalah:
((p V q) ∧ (q r) ((p ∧ q) ~r)

4
Interpretation
Pemberian truth value pada setiap simbol proposisi dari suatu kalimat
logika

Contoh: not p or q
Maka, interpretasi untuk proposisi p dan q adalah:
p True
p False
atau
q True
q False

5
Exercise
Soal 1
Diberikan simbol penghubung kalimat logika berikut:

Englishlike Konvensional
Not ~
And ∧
Or V
If-then
If and only if
If-then-else- If-then-else-
Pernyataan:

Simbol Pernyataan
p Saya suka kuliah logika informatika
q 3 pangkat 2 tidak lebih besar dari 10
r 1 bukan bilangan prima pertama
s Deret fibbonaci ke-4 adalah 3
t Dua garis sejajar memiliki kemiringan yang sama
Ubahlah kalimat berikut menjadi simbol kalimat
logika (simbol englishlike):
1. Saya suka kuliah logika informatika
2. Jika Saya tidak suka kuliah logika informatika maka 3
pangkat 2 tidak lebih besar dari 10
3. 1 bukan bilangan prima pertama jika dan hanya jika Deret
fibbonaci ke-4 adalah 3
4. Tidak benar bahwa jika Saya tidak suka kuliah logika
informatika maka dua garis sejajar tidak memiliki kemiringan
yang sama
5. Jika 1 adalah bilangan prima pertama maka deret fibbonaci
ke-4 adalah 3 atau tidak benar jika 3 pangkat 2 tidak lebih
besar dari 10 dan 1 bilangan prima pertama maka Saya suka
kuliah logika informatika
Exercise

Soal 2
Ubahlah kalimat logika berikut ke dalam simbol konvensional:

1. (if p then q) or (if q then p)

2. (not q) or not[if p then (notq) and p)
3. (if p then (not q)) if and only if not (p and q)
4. (if (p or q) then r] if and only if [(if p then r) and (if q then r))
5. (p if and only if (q if and only if r)) if and only if ((p if and only if q) if
and only if r)
6. (if p then q and r else not q and s) if and only if (if q then p and r else
not p and s)