LOGIKA INFORMATIKA

LOGIKA PREDIKAT
Logika Predikat

 Logika predikat merupakan pengembangan

dari logika proposisional dengan masalah
Pengkuantoran dan menambah istilah-istilah
baru.
Simbol-simbol
 Simbol-simbol kebenaran (truth symbols)
true and false
 Simbol-simbol konstan (constant symbol)
a,b,c,a’,b’,c’,a1,b1,c1,a2,b2,c2,.....
 Simbol-simbol variabel (variable symbols)
u,v,w,x,y,z,u’,v’,w’,x’,y’,u1,v1,w1,...
 Simbol-simbol fungsi(function symbol)
f,g,h,f1,g1,h1,f2,g2,h2,...
 Simbol-simbol Predikat
 P, q,r, p1, r1, …….

fungsi yang terhubung dengan bilangan bulat positif yang disebut

aritas-nya (arity), yang menandakan banyaknya argumen fungsi.
Term

Term dari logika predikat merupakan ekspresi

yang menunjukan obyek –obyek. Term
dibangun menurut aturan – aturan berikut;
 Konstan –konstan a,b,c,... Adalah terms.
 Variabel –variabel x,y,z,u,v,w,... Adalah terms.
 Fungsi f(t1,t2,...,tn), merupakan term.
Contoh

g(x,f(a,x),a)
merupakan term, karena
 a merupakan term (a adalah konstan);
 x merupakan term (x adalah variabel);
 f(a,x) merupakan term (karena a dan x
merupakan term dan f merupakan simbol
fungsi biner).
Fungsi f mempunyai 2 aritas (a dan x).
Fungsi g mempunyai 3 aritas (x,f(a,x), dan a)
 Pada fungsi yang sama harus mempunyai
aritas yang sama pula.

 Contoh yang salah

 g(x,f(a,f(y)),a)
 Karena fungsi f yang pertama memiliki 2
aritas dan fungsi f yang kedua mempunyai 1
aritas.
Variabel Bebas dan Terikat




Contoh 1 (Pemunculan bebas dan
terikat)
 Perhatikan kalimat berikut :
 If (for some x) p (a,f(x,y)) then (for all y) [q(y,z) or r
(b,f(x,a),z)]

 Pemunculan x dalam p(a,f(x,y)) berada dalam scope (for

some x), berarti pemunculannya merupakan pemunculan
terikat.

 Sebaliknya y muncul bebas. Karena pemunculannya y dalam

p(a,f(x,y)) tidak berada dalam scope dari quantifier manapun.
Sehingga dalam hal ini, x merupakan variabel terikat, dan
sebaliknya y merupakan variabel bebas.
Lanjutan Contoh 1

 If (for some x) p (a,f(x,y)) then (for all y) [q(y,z) or

r (b,f(x,a),z)]

 Selanjutnya perhatikan pemunculan y dalam

q(y,z), karena pemunculan y berada dalam scope
dari quantifier (for all y), maka pemunculan y
merupakan pemunculan terikat.

 Sebaliknya pemunculan x dalam r(b,f(x,a),z)

merupakan pemunculan bebas karena tidak
berada dalam scope dari quantifier manapun.
Kalimat tertutup (closed
sentence)
 Definisi
suatu kalimat dikatakan closed jika semua
veriabel yang muncul dalam kalimat tersebut
tidak mempunyai pemunculan bebas.
CONTOH;
perhatika kalimat berikut
(for all x)(for all y)(for some z)[if
q(x,f(y,z),z)then r(f(y,g(x)),z)]
Semua variabel muncul terikat.
Penentuan Nilai Kalimat

 Penentuan nilai kalimat adalah dengan

memberikan interpretasi.
 Fungsi merupakan fungsi successor..
 Predikat merupakan relasi
Y =2
A=0
G=2
F=
P=
• Interpretasi I memberi :
• Not P(2,f(2)) OR P(0,f(f(0)))
• Not P(2,2+1) OR P(0,f(0+1))
• Not P(2,3) OR P(0,(0+1)+1)
• Not P(2,3) OR P(0,2)
• Not (2<3) OR (0<2)
• Not T OR T
• F or T
• T