Nama : NOVITA FITRI

NIM : 050501346
MK : Logika Informatika (Diskusi 6)

Tentukan suatu interpretasi untuk kalimat berikut ini:

E: (for all x) p(x, g(a, f(y))) and (for some y) not q(a, f(b), x, g(c, y), z)
dengan domain bilangan bulat positif.

Jawab :

Untuk menentukan interpretasi untuk kalimat logika ini, kita perlu memahami arti dari setiap simbol
dan variabel yang digunakan dalam kalimat tersebut.
Dalam kalimat ini, terdapat beberapa simbol dan variabel yang perlu diinterpretasikan:
 p, q: Predikat
 a, b, c: Konstanta
 x, y, z: Variabel
 f, g: Fungsi
Interpretasi yang mungkin untuk kalimat ini adalah sebagai berikut:
 Domain: Kita perlu menentukan domain atau himpunan objek yang mungkin digunakan dalam kalimat
ini. Domain dlam kalimat ini yaitu bilangan bulat positif.

Dalam kalimat ini, terdapat dua pernyataan logika yang perlu diinterpretasikan. Mari kita
interpretasikan satu per satu:
1. (for all x) p(x, g(a, f(y)))
Pernyataan ini menyatakan bahwa untuk setiap nilai x dalam domain bilangan bulat positif, p(x,
g(a, f(y))) benar. Dalam hal ini, p adalah suatu predikat yang mengambil dua argumen.
Argumen pertama adalah x, sedangkan argumen kedua adalah g(a, f(y)). Fungsi g dan f adalah
fungsi yang mengambil argumen-argumen tertentu. Interpretasi yang mungkin untuk kalimat
ini adalah bahwa untuk setiap bilangan bulat positif x, p(x, g(a, f(y))) benar.
2. (for some y) not q(a, f(b), x, g(c, y), z)
Pernyataan ini menyatakan bahwa ada suatu nilai y dalam domain bilangan bulat positif,
sehingga q(a, f(b), x, g(c, y), z) tidak benar. Dalam hal ini, q adalah suatu predikat yang
mengambil lima argumen. Argumen-argumen tersebut adalah a, f(b), x, g(c, y), dan z.
Interpretasi yang mungkin untuk kalimat ini adalah bahwa ada suatu bilangan bulat positif y,
sehingga q(a, f(b), x, g(c, y), z) tidak benar.
Jadi, interpretasi untuk kalimat logika ini adalah bahwa untuk setiap bilangan bulat positif x,
p(x, g(a, f(y))) benar, dan ada suatu bilangan bulat positif y, sehingga q(a, f(b), x, g(c, y), z) tidak
benar.