NAMA : MUHAMMAD NIZAR HAFIDZ ISMATULLAH

NIM : 042685029

Diskusi 6

1. Tentukan variabel bebas dan terikat dari kalimat berikut ini:

E: (for all x) p(f(b),y) or (for some y) q(g(a,x),y, z)
Menentukan Variabel pada kalimat, yaitu x, y, dan z
Menentukan scope masing-masing variable
 Pada kalimat (for all x) p(f(b), y), terdapat variabel x dan y
a) Variabel x tidak termasuk dalam p(f(b), y) berada dalam satu kuantifier (for
all x), sehingga x pada kalimat adalah Variabel Bebas
b) Variabel y dalam p(f(b), y) tidak berada dalam satu kuantifier, sehingga y
pada kalimat merupakan Variabel Bebas
 Pada kalimat (for some y) q(g(a,x), y, z), terdapat variabel x, y, dan z
a) Variabel x dalam q(g(a,x), y, z) tidak berada dalam satu kuantifier, sehingga x
pada kalimat merupakan Variabel Bebas
b) Variabel y dalam q(g(a,x), y, z) berada dalam satu kuantifier (for some y),
sehingga y pada kalimat merupakan Variabel Terikat
c) Variabel Z dalam q(g(a,x), y, z) tidak berada dalam satu kuantifier, sehingga z
pada kalimat merupakan Variabel Bebas
2. Tentukan suatu interpretasi untuk kalimat E pada soal nomor 1 dengan domain bilangan
bulat positif !
(for all x) p(f(b), y)
y 3
f(b) f(d) = d+1
p(f(b), y) p(d 1 +d 2 ¿ = d 1 < d 2

p(f(b), y) = p(1, 3)
1 < 3 = TRUE
(for all x) bernilai TRUE dibawah interpretasi I dengan aturan universal quantifier

(for some y) q(g(a, x), y, z)

a 4
x 2
z 6
g(a, x) g(d 1, d 2) = d 1- d 2
q(g(a, x), y, z) q(d 1 , d 2 , d 3) = d 1 , d 2≠ d 3

q(g(a, x), y, z) = q(2, 3, 6)

2 dan 3 ≠ 6 = TRUE
(for some y) bernilai TRUE dibawah interpretasi I dengan aturan existential quantifier

Kesimpulannya kalimat E: (for all x) p(f(b), y) or (for some y) q(g(a, x), y, z) bernilai TRUE