Ag.

Tri Kawuri
042496418

Diketahui kalimat : if (for all x)p(f(y), a) then r(a, g(x, b, f(z)), c),

tentukan suatu interpretasi untuk kalimat

Jawab :

Untuk menentukan atau mendefinisikan suatu interpretasi terlebih dahulu menentukan domain, yaitu
himpunan semua nilai yang mungkin untuk obyek. Selanjutnya tentukan simbol-simbol bebas dari kalimat,
karena semua simbol bebas harus diberi nilai (sesuai dengan kelompok simbol) dalam suatu interpretasi.
Simbol-simbol bebas kalimat : a,b,c,x,y,z,f,g,p, dan r; simbol f dan g masing-masing mempunyai aritas 1
dan 3; simbol predikat p dan r mempunyai aritas 2 dan 3. Misalnya dipilih domain D adalah himpunan
semua bilangan riil positif, dan aturan pemberian nilainya sebagai berikut :

{ a 2,5; b0,5; c 1,0; x 5,5; y  3,0; z 0,0; f  fI(d) = d + 0,5; g  gI(d1, d2, d3) = d1d3 – 2d2; p
 p1(d1, d2): d1 < d2; r  r1(d1, d2, d3): 2d2d3 + d1 }