Diskusi 6 - Logika Informatika
Diskusi 6 - Logika Informatika
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
dapat diinterpretasikan sebagai berikut :
Domain : bilangan bulat positif (0, 1, 2, 3, 4, 5, 6, ...)
Variabel bebas : x, y, z
Konstanta : a, b, c
Fungsi : f(x,y) = x + y, g(x,y) = x – y
Predikat : p(x,y) = x > y, q(w,x,y,z,v) = w < x + y - z + v
Dengan interpretasi ini, kalimat E dapat dijabarkan sebagai berikut:
Untuk setiap bilangan bulat positif x, x lebih besar dari selisih antara a dan f(y) yang didefinisikan
sebagai a ditambah y.
Terdapat bilangan bulat positif y tertentu, sehingga a kurang dari f(b) dikurangi x ditambah g(c,y)
dikurangi z.
Dalam interpretasi ini, fungsi f(x,y) menghasilkan hasil penjumlahan dari x dan y, sedangkan fungsi g(x,y)
menghasilkan selisih dari x dan y. Predikat p(x,y) menyatakan bahwa x lebih besar dari y, sedangkan
predikat q(w,x,y,z,v) menyatakan bahwa w lebih kecil dari jumlah x dan y dikurangi z ditambah v.