Diskusi 8 Logika Informatika [PDF]

Citation preview

DISKUSI 8 LOGIKA INFORMATIKA NAMA NIM



: RIO APRIZAL : 043696744



1. Tentukan dua interpretasi untuk E: q(f(a, f(x, b))) or q(g(x,y, a)). yang agree



on term f(x, b). Penyelesaian : Interpretasi untuk term f(x, b). pada E: q(f(a, f(x, b))) or q(g(x,y, a)). Adalah sebarang interpretasi pada symbol bebas a, b, x, y, f, g, dan q , atas domain D himpunan bilangan bulat. Dua interpretasi yaitu : I : a ← 2, b ← 3, x ← 4, y ← 6, f ← f1(d1,d2) = (d1-d2), g ← g(d1,d2,d3) = (d2d1+d3), q←q1(d1)=(q1≥4) Nilai term f(x, b) dibawah I : x ← 4, b ← 3, f( x,b)=(d1-d2)= f( 4-3 )= 1 J : a ← 3, b ← 6, x ← 7, y ← 5, f ← f1(d1,d2) = (d1-d2), g ← g(d1,d2,d3) = (d1d2+d3), q←q1(d1)=(q1 ≤ 5) Nilai term f(x, b) dibawah J : x ← 7, b ← 6, f( x,b)=(d1-d2)= f( 7–6 )= 1 Terlihat bahwa nilai term t di bawah interpretasi I sama dengan nilai term t dibawah interpretasi J. Jadi terbukti interpretasi I dan J agree on term f(x, b).