Nama : Nasya Chaira Syaidy
NIM : 053351624
Prodi : Sistem Informasi
UPBJJ : Jakarta
Logika Informatika
Diskusi 6
Logika Predikat
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.
Kalimat : E: (for all x) p(x, g(a, f(y))) and (for some y) not q(a, f(b), x, g(c, y), z)
1. Menentukan semua simbol bebas dalam kalimat
• Konstanta: a, b, c.
• Fungsi: f, g.
• Predikat: p, q.
• Variabel Bebas: z
2. Menentukan domain untuk kalimat tersebut
Domain untuk kalimat EEE adalah bilangan bulat positif : {1, 2, 3, …}.
3. Memberikan nilai dari domain D (bilangan bulat) untuk semua simbol bebas sesuai
aturan
• Konstanta:
Nilai a = 3, b = 4, c = 5.
• Variabel Bebas:
Nilai z = 6.
• Fungsi:
Fungsi f(y) didefinisikan sebagai f(y) = y + 1.
Fungsi g(d1, d2) didefinisikan sebagai g(d1, d2) = d1⋅d2.
• Predikat:
Predikat p(d1, d2) bernilai true jika d1 <= d2.
Predikat q(d1, d2, d3, d4, d5) bernilai true jika d1 + d2 < d3 + d4 + d5.
4. Menuliskan semua pemberian nilai pada Langkah 3 dalam bentuk interpretasi.
Misalkan interpretasinya adalah I, maka :
I : {a ← 3, b ←#4, c ←#5, z ←#6, f(y) ←#y+1, g(d1,d2) ← d1⋅d2, p(d1,d2) ← (d1 ≤ d2), q
(d1,d2,d3,d4,d5) ← (d1+d2<d3+d4+d5)}.
Sumber :
BMP Logika Informatika MSIM4103
Materi Inisiasi 6
Yt: Belajar Bareng / Logika Informatika.
