Logika Informatika Tabel
Logika Informatika Tabel
KOM
PUTER
FAK
MIPA
UGM
Logika Informasi
Materi.
Logika Proposisional
(Notasi operator logis/functor)
Operator
Notasi lainnya
Konjungsi
p &q
p.q
pq
pq
Kpq
Disjungsi
p q
p+q
pq
pq
Ap q
Np
Burke
Kuliah
Daliyo
Polan
dia
Negasi
~p
Implikasi
pq
pq
pq
pq
Cpq
Bi-implikasi
pq
pq
pq
pq
Epq
Logika Proposisional
(Notasi Polandia/Tabel Kebenaran)
Notasi Polandia juga disebut Lukasiewics atau sebagai notasi bebaskurung atau notasi prefix (+ab) , pada prinsipnya operator diadika me
ngawali operand mereka. Selain itu ada notasi postfix (ab+) , yg juga
disebut notasi kebalikan polandia, dimana operator muncul sesudah
operand. Notasi yang kita gunakan sehari-hari disebut dengan notasi
infix ( a+b)
Dalam aritmatika didapat contoh sbb :
Notasi Infix
Notasi Prefix
Notasi Postfix
p+q
+pq
pq+
p+qxr
+pxqr
pqrx+
(p + q) x r
x+pqr
pq+rx
(p x r) + (q + r)
+xprxqr
prxqrx+
p x ( r + q) x q
xpx+rqq
prq+xqx
((p + q) + r) + s
+++pqrs
pq+r+s+
p + (q + (r + s))
+p+q+rs
pqrs+++
Logika Proposisional
(Notasi Polandia/Tabel Kebenaran)
Logika Proposisional
(Notasi Polandia/Tabel Kebenaran)
Polandia
Np
Apq
pq
pq
pq
pq
pq
pq
pq
Kpq
Cpq
Bpq
Epq
Rpq
Jpq
Spq
N Negasi
A Alternasi
(Alternation)
K Konjungsi
C Conditional
B Non-implikasi??
E Ekuivalen
R Non-Ekuivalen,
Exclusif Or??
J Joint deniel, Nor
S Nand,
Incompatibility ??
Logika Proposisional
(Notasi Polandia/Tabel Kebenaran)
Beberapa Contoh.
Infix
Polandia
p (q r)
KpAqr
(p q) r
AKpqr
((p) (q)
NANpNq
p q r p q r
ANpANqAKrNpAqNr
((p q) r) s
KKKpqrs
p (q (r s))
KpKqKrs
Logika Proposisional
(Notasi Polandia/Tabel Kebenaran)
Beberapa Contoh.
atau
Logika Proposisional
Contoh :
1. Notasi Polandia
: Epq
Disajikan dalam notasi yang lain.
a. p q b. p q
c. p q
2. Notasi Polandia
: CKpqr
Disajikan dalam notasi yang lain.
C(p q)r = (p q) r
3. Notasi Polandia
: CpCpr
Disajikan dalam notasi yang lain.
Cp (p r) = p (p r)
4. Notasi Polandia
: ECKpqrCpCpr
Disajikan dalam notasi yang lain
Logika Proposisional
Contoh :
Notasi Polandia
: E CKpqr CpCpr
Disajikan dalam notasi yang lain.
Cari tanda dominan
: E yang sama dengan
Ruas kiri (dr )
: C Kpq r
Tanda dominan
: C yang sm dng
Tanda berikutnya
: K yg sm dng ( ada dengan &)
didapat
: pq
C (pq) r
didapat
: (pq) r
Ruas kanan (dr )
: C p Cpr
didapat
: C p (p r)
di dapat
: p (p r)
Akhirnya didapat
: ((p q) r) (p (p r))
Logika Proposisional
(Notasi operator logis/functor)
Contoh
( ( p q ) r )
(Kpq) r)
C(Kpq)r
C(Kpq)r
C(Kpq)r
C(Kpq)r
C(Kpq)r
( ( p r ) q
( ( p r ) q
( ( p r ) q
( ( ( p ( N r ) ) q )
( K p ( N r ) q )
(Kp(Nr) (Nq))
(C(Kp(Nr)(Nq))
E(C(Kpq)r(C(Kp(Nr)(Nq)))
E C Kpq r C Kp N r N q
Logika Proposisional
(Notasi operator logis/functor)
Prioritas dp Operator.
Seperti pd ungkapan dlm ilmu hitung, maka didalam operator logika
pun terdapat prioritas sebagai berikut :
1). Operator mempunyai prioritastertinggi
2). Operator berprioritas berikutnya
3). Operator berprioritas berikutnya
4). Operator berprioritas berikunya
5). Dan seterusnya operator yang lain termasuk dan seterusnya.
Contoh
Logika Proposisional
(Notasi operator logis/functor)
pqrstuv
(((((p q) r) s) t) u) v
p q r s p r t
2).
Diartikan sebagai :
??????????.
Logika Proposisional
(Tabel Kebenaran dp Formula)
Bagaimana membangun tabel kebenaran :
Satu tabel kebenaran dapat ditentukan dengan mengambil setiap
kombinasi yang mungkin daripada nilai kebenaran daripada semua
variabel yang terlibat dan kemudian mengevaluasi efek daripada se
tiap operator
Sebagai contoh :
((p) q)
T
T
F
F
T
F
T
F
F
F
T
T
((p) q)
T
F
T
T
Logika Proposisional
(Tabel Kebenaran dp Formula)
Untuk bentuk yang lebih komplek adalah :
q)
1
((
2
p)
1
(
2
F
F
T
T
T
F
F
F
T
F
T
F
T
T
T
T
F
F
T
T
T
T
F
F
F
T
T
T
F
T
F
T
T
T
F
F
q)))
1
T
F
T
F
Logika Proposisional
(Tabel Kebenaran dp Formula)
Untuk formula dengan 3 variabel maka akan didapat 2^3 = 8 baris
, untuk 4 variabel didapat 2^4 = 16 baris.
((p q) ((p) (r)))
Sebagai contoh :
(
3
F
F
T
T
T
T
T
T
(p
1
q)
1
T
T
T
T
F
F
F
F
T
T
F
F
F
F
F
F
T
T
F
F
T
T
F
F
T
F
F
T
T
T
T
T
((
2
F
F
F
F
T
T
T
T
p)
1
T
T
T
T
F
F
F
F
F
T
F
T
T
T
T
T
(
2
r)))
1
F
T
F
T
F
T
F
T
T
F
T
F
T
F
T
F
Logika Proposisional
[Tabel Kebenaran (TK) Identis]
(p)(q)
(p)(q)
p q
(p q) (p q)
pq
; buatlah TK nya.
; buatlah TK nya.
; buatlah TK nya.
; buatlah TK nya
; buatlah TK nya
Logika Proposisional
[Interpretasi dan Model]
Andaikan P adalah formula proposisi ( perhatikan disini digunakan
huruf murda/capital untuk menyajikan suatu formula sedang huruf
kecil untuk variabel proposisi). Suatu interpretasi daripada P adalah
suatu penugasan (assignment) daripada nilai kebenaran pada semua
variabel proposisi ( pemberian nilai kebenaran) yg muncul pada P.
Perhatikan bahwa setiap baris pada tabel kebenaran adalah suatu
interpretasi. Untuk setiap interpretasi maka P mempunyai nilai kebe
naran (lihat bahwa setiap baris P mempunyai nilai T atau F)
Logika Proposisional
[interpretasi dan Model]
I1
I2
I3
I4
p q
pq
T
T
T
T
T
T
F
T
T
T
F
F
F
T
T
T
F
T
T
T
q r
T
T
T
rs
T
T
F
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Tautologi
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Contoh :
karena untuk
p p adalah Tautologi
I1 : p = T, maka p p = T
I2 : p = F, maka p p = T
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Tabel dari kebenaran p p adalah :
p
T
p
F
p p
T
(q
p))
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Perhatikan hubungan antara metasimbol =T dng yang dapat dili
hat pada contoh dibawah ini :
Menggunakan
p
(p)
(p q) (q p)
(p q) (p)(q)
((p )) ((p) (q))
menggunakan =T
p
=T (p)
pq
=T q p
(p q) =T (p) (q)
((p q)) =T (( p) (q))
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Tautologi
Dikatakan bahwa dua formula P dan Q adl Ekuivalen Logis jika
ekuivalen logisnya P Q adl suatu tautologi ( yang dapat dika
takan juga dengan bahwa mereka mempunyai tabel kebenaran yang
sama)
Dikatakan bhw suatu formula P implai logis suatu formula Q jika
implikasi logis mereka P Q adalah tautologi.
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Absurditi/Kontradiksi
Sebarang formula yang selalu bernilai kebenaran F, tak tergantung
pada nilai kebenaran dp variabel-variabel proposisinya, disebut
Absurditi atau Kontradiksi atau Unsatisfiable dan dikatakan sbg
Absurditi atau Invalid.
Suatu Absurditi adalah suatu formula proposisional yang ber nilai
F untuk setiap interpretasi yg mungkin. Semua entri dalam kolom
Pada tabel kebenaran yang merupakan kolom nilai formula tersebut
bernilai kebenaran F.
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Absurditi/Kontradiksi
Contoh :
(p p) dan (p p)
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Formula Campur
Sebarang formula yang, tergantung pada nilai kebenaran dp vari
abel-variabelnya, dapat bernilai baik nilai T maupun nilai F dise
but suatu formula campur, atau ada yang menyebut contingent.
Contoh :
Tentukan yang mana yang tautologi, absurditi atau formula cam
pur :
a) p (q p) ;
b) p (p (q p) ;
c) p (p (q p)).
Logika Proposisional
[Tautologi, Absurditi dan Formula Campur]
Formula Campur
p
1
T
T
F
F
4
T
T
F
T
(
2
F
T
F
T
q
1
T
F
T
F
3
T
T
T
F
p)
1
T
T
F
F
p (
2 1 5 2
F T T F
F T T F
T F T T
T F T T
p (
1 5 2
T F F
T F F
F F T
F F T
p
1
T
T
F
F
(q p
4 1 3 2 1
F T F F T
F F F F T
T T T T F
T F F T F
p (q
1 4 1
T F T
T F F
F T T
F T F
3
F
T
T
T
p
2 1
F T
F T
T F
T F
Logika Proposisional
Definisi Valid, Satisfiable, Contradictory, Implies, Equivalent, Consistent
( Zohar Manna and Richard Waldinger)
Logika Proposisional
Definisi Valid, Satisfiable, Contradictory, Implies, Equivalent, Consistent
( Zohar Manna and Richard Waldinger)
Logika Proposisional
[Penggandeng Logis lainnya]
Logika Proposisional
[Penggandeng Logis lainnya]
Operator Monadika
Terdapat 4 (=2^2) kemungkinan tabel-kebenaran untuk
operator-monadika (terdapat dua entri dalam tabel-kebe
naran masing-masing T dan F) yg dapat dilihat dibawah
ini :
p f0 f1 f2 f3
T
F
F
F
F
T
T
F
T
T
f0(p) : f0(T) = F
f0(F) = F
f1(p) : f1(T) = F
f1(F) = T
f2(p) : f2(T) = T
f2(F) = F
f3(p) : f3(T) = T
f3(F) = T
Logika Proposisional
[Penggandeng Logis lainnya]
Operator Diadika
p
g0 g1 g2 g3 g4 g5 g6 g7 g8 g9 h0 h1 h2 h3 h4 h5
T
T
F
F
T
F
T
F
F
F
F
F
F
F
F
T
F
F
T
F
F
F
T
T
F
T
F
F
F
T
F
T
F
T
T
F
F
T
T
T
T
F
F
F
T
F
F
T
T
F
T
F
T
F
T
T
T
T
F
F
T
T
F
T
T
T
T
F
T
T
T
T
Logika Proposisional
[Penggandeng Logis lainnya]
Operator Diadika
p
g0 g1 g2 g3 g4 g5 g6 g7 g8 g9 h0 h1 h2 h3 h4 h5
T
T
F
F
T
F
T
F
F
F
F
F
F
F
F
T
F
F
T
F
F
F
T
T
F
T
F
F
F
T
F
T
F
T
T
F
F
T
T
T
T
F
F
F
T
F
F
T
T
F
T
F
T
F
T
T
T
T
F
F
T
T
F
T
T
T
T
F
T
T
T
T
Logika Proposisional
[Penggandeng Logis lainnya]
Operator Triadika
Operator triadika mempunyai 3 (tiga) operand. Dari 256 (=
28), pada saat ini hanya beberapa yang dapat langsung
dimanfaatkan. Operator triadika ini sulit untuk disimbolkan,
seperti misalnya operator Ifthenelse disini variabel
nya berupa titik-titik.
Beberapa operator triadik adalah :
1) Kondisi terkondisi (conditioned disjunction).
Ifthenelse disimbolkan [p,q,r]
2) Inkompatibel terkondisi dengan simbol [[p,q,r]]
3) L2 (mayoritas) ; L2(p,q,r) =T (pq) (qr) (rp); bernilai T
jika paling sedikit dua atu lebih argumen bernilai T
4) L1 (Paling sedikit satu); dst
Logika Proposisional
Operator Triadika
1) Disjungsi terkondisi;
Ditulis [p,q,r] , diartikan jika q bernilai T hasilnya adalah
nilai p dan jika nilai F maka hasilnya adalah nilai q. Jika
ditulis dengan If-then-else maka menjadi If q then p
else r.
Jika disajikan dengan tabel kebenaran adalah :
[p,q,r] =T (q p) (q r)
4
T
T
T
F
F
F
T
F
p
1
T
T
T
T
F
F
F
F
q
1
T
T
F
F
T
T
F
F
r
1
T
F
T
F
T
F
T
F
(q
1
T
T
F
F
T
T
F
F
2
T
T
F
F
F
F
F
F
p)
1
T
T
T
T
F
F
F
F
4
T
T
T
F
F
F
T
F
(
2
F
F
T
T
F
F
T
T
q
1
T
T
F
F
T
T
F
F
3
F
F
T
F
F
F
T
F
r)
1
T
F
T
F
T
F
T
F
Logika Proposisional
Operator Triadika
2) Inkompatibelitas terkondisi;
Ditulis [[p,q,r]] , ada kaitannya dengan disjungsi terkon
disi diartikan jika q bernilai T hasilnya adalah nilai p
dan jika nilai F maka hasilnya adalah nilai q.
Jika disajikan dengan tabel kebenaran adalah :
[[p,q,r]] =T (q p) (q r)
4
F
F
F
T
T
T
F
T
p
1
F
F
F
F
T
T
T
T
q
1
T
T
F
F
T
T
F
F
r
1
F
T
F
T
F
T
F
T
(q
1
T
T
F
F
T
T
F
F
3
F
F
F
F
T
T
F
F
(
2
F
F
F
F
T
T
T
T
p))
1
T
T
T
T
F
F
F
F
4
F
F
F
T
T
T
F
T
((
2
F
F
T
T
F
F
T
T
q)
1
T
T
F
F
T
T
F
F
3
F
F
F
T
F
F
F
T
(
2
F
T
F
T
F
T
F
T
r))
1
T
F
T
F
T
F
T
F
Logika Proposisional
Operator Triadika
4
T
T
T
F
F
F
T
F
p
1
T
T
T
T
F
F
F
F
Ternyata bahwa :
4
F
F
F
T
T
T
F
T
p
1
F
F
F
F
T
T
T
T
r
1
T
F
T
F
T
F
T
F
(q
1
T
T
F
F
T
T
F
F
2
T
T
F
F
F
F
F
F
p)
1
T
T
T
T
F
F
F
F
4
T
T
T
F
F
F
T
F
(
2
F
F
T
T
F
F
T
T
q
1
T
T
F
F
T
T
F
F
3
F
F
T
F
F
F
T
F
r)
1
T
F
T
F
T
F
T
F
r
1
F
T
F
T
F
T
F
T
(q
1
T
T
F
F
T
T
F
F
3
F
F
F
F
T
T
F
F
(
2
F
F
F
F
T
T
T
T
p))
1
T
T
T
T
F
F
F
F
4
F
F
F
T
T
T
F
T
((
2
F
F
T
T
F
F
T
T
q)
1
T
T
F
F
T
T
F
F
3
F
F
F
T
F
F
F
T
(
2
F
T
F
T
F
T
F
T
r))
1
T
F
T
F
T
F
T
F
Logika Proposisional
Operator Triadika
3) L2 Mayoritas;
Ditulis L2(p,q,r) , disini operand adalah argumen daripa
da fungsi. Dimana fungsi bernilai T jika dan hanya jika
2 (dua) atau lebih daripada argumennya bernilai T. L2 di
artikan dengan Paling sedikit dua. Tabel kebenaran
nya adalah :
L2(p,q,r) =T (p q) (q r) (r p)
4
T
T
T
F
T
F
F
F
3T
2T
2T
1T
2T
1T
1T
0T
p
1
T
T
T
T
F
F
F
F
q
1
T
T
F
F
T
T
F
F
r
1
T
F
T
F
T
F
T
F
(p
1
T
T
T
T
F
F
F
F
2
T
T
F
F
F
F
F
F
q)
1
T
T
F
F
T
T
F
F
3
T
T
F
F
T
F
F
F
(q
1
T
T
F
F
T
T
F
F
2
T
F
F
F
T
F
F
F
r)
1
T
F
T
F
T
F
T
F
4
T
T
T
F
T
F
F
F
(r
1
T
F
T
F
T
F
T
F
2
T
F
T
F
F
F
F
F
p)
1
T
T
T
T
F
F
F
F
Logika Proposisional
[Penggandeng Logis lainnya]
Operator Triadika
4) L1 Paling sedikit satu ;
Ditulis L1(p,q,r) , disini operand adalah argumen daripa
da fungsi. Dimana fungsi bernilai T jika dan hanya jika
1 (satu) atau lebih daripada argumennya bernilai T. L1 di
artikan dengan Paling sedikit satu. Tabel kebenaran
nya adalah :
L1(p,q,r) =T (p q r)
4
T
T
T
T
T
T
T
F
3T
2T
2T
1T
2T
1T
1T
0T
p
1
T
T
T
T
F
F
F
F
q
1
T
T
F
F
T
T
F
F
r
1
T
F
T
F
T
F
T
F
p
1
T
T
T
T
F
F
F
F
2
T
T
T
T
T
T
F
F
q
1
T
T
F
F
T
T
F
F
3
T
T
T
T
T
T
T
F
r
1
T
F
T
F
T
F
T
F
Logika Proposisional
[Penggandeng Logis lainnya]
Operator Triadika
4) L3 Paling sedikit tiga ;
Ditulis L3(p,q,r) , disini operand adalah argumen daripa
da fungsi. Dimana fungsi bernilai T jika dan hanya jika
3 (tiga) argumennya bernilai T. L3 diartikan dengan
Paling sedikit tiga. Tabel kebenarannya adalah :
L3(p,q,r) =T (p q r)
4
T
F
F
F
F
F
F
F
3T
2T
2T
1T
2T
1T
1T
0T
p
1
T
T
T
T
F
F
F
F
q
1
T
T
F
F
T
T
F
F
r
1
T
F
T
F
T
F
T
F
p
1
T
T
T
T
F
F
F
F
2
T
T
F
F
F
F
F
F
q
1
T
T
F
F
T
T
F
F
3
T
F
F
F
F
F
F
F
r
1
T
F
T
F
T
F
T
F
Logika Proposisional
[Penggandeng Logis lainnya]
Fungsi Kebenaran
Teorema :
Sebarang fungsi kebenaran f(p1 ,p2 , . . . pn) dari n variabel pro
posisional p1 , p2 . . . pn selalu dapat diekspresikan dalam ben
tuk fungsi kebenaran diadika dan monadika.
Pembuktiannya dengan menggunakan induksi.