Jawaban dan Penjelasan:

Kalimat logika predikat F: ((for all x)p(a, b, f(x))) and ((for all y)q(b,y)) or p(g(c, b), z, b)) dan interpretasi untuk F, yaitu I atas (over) domain D = himpunan semua bilangan bulat, sedemikian hingga I ={a ← 1, b ← 2, c ← 1, x← 3, z ← 2, f ← fI(d) = 2-d, gI(d1, d2) = d2 - d1, p ← pI(d1, d2, d3): d1 + d2 < 2d3, q ← qI(d1, d2): d1 < d2}.

Untuk menentukan nilai kalimat F di bawah I dapat dilakukan dengan mengganti variabel dalam kalimat F dengan nilai-nilai yang telah ditentukan dalam interpretasi I.

Dalam hal ini kita dapat mengganti nilai variabel sebagai berikut:

a = 1

b = 2

c = 1

x = 3

z = 2

Selanjutnya kita dapat mengganti nilai variabel f dan g dengan fungsi yang telah ditentukan dalam interpretasi I:

f(3) = 2 - 3 = -1

g(1, 2) = 2 - 1 = 1

Dengan demikian kita dapat menentukan nilai kalimat F di bawah I sebagai berikut:

((for all x)p(1, 2, -x)) and ((for all y)q(2,y)) or p(0, 2, 2))

Semoga Membantu Yaa Bila Salah Mohon Maaf