NAMA : RISMA FITRIANA

NIM : 042473349
UPBJJ : PURWOKERTO

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 variabel.
 Pada kalimaat (for all x) p(f(b), y), terdapat variabel x dan y
a. Variabel x tidak termasuk p(f(b),y) tetapi berada dalam satu
kuantifier, sehingga x pada kalimat merupakan 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, 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.
Jadi, pada kalimat E memiliki satu variabel terikat yaitu y akan tetapi y juga
merupakan variabel bebas, sehingga variabel bebas pada kalimat x, y, dan z.

2. Tentukan suatu interpretasi untuk kalimat E pada soal nomor 1 dengan domain
bilangan bulat positif !
Menentukan simbol bebas pada kalimat E : a,b,x,y,z,f,g,p, dan q, simbol fungsi f, g
masing-masing mempunyai ataritas 1 dan 2; simbol predikat p dan q mempunyai
ataritas 2 dan 3. Karena domain D adalah bilangan bulat positif sehingga
H : bilangan bulat
H : a¬ 1, b¬ 2, x¬ 3, y¬ 4, z¬ 5
Fungsi ataritas 1 dan 2
Ataritas 1 : f¬f1(d1) = d1+1,
Ataritas 2 : g¬g1(d1,d2) = d1+d2,
Fungsi a
ltaritas 2 dan 3
Ataritas 2 : p¬p1(d1,d2)= 0 < d1+d2,
Ataritas 3 : q¬q1(d1,d2,d3)= d1,d2 < d3