Diskusi 6 Logika Informatika

Yves Swan

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 tersebut dapat diinterpretasikan sebagai berikut:
1. (∀x)p(x,g(a,f(y))): Untuk setiap bilangan bulat positif x, proposisi p(x,g(a,f(y))) benar.
Ini bisa diartikan sebagai "Untuk setiap bilangan bulat positif x, predikat p(x,g(a,f(y))) benar."
Dengan kata lain, untuk setiap bilangan bulat positif x, kita memiliki suatu kondisi benar
tergantung pada y.
2. (∃y)¬q(a,f(b),x,g(c,y),z): Ada setidaknya satu nilai y sehingga proposisi
¬q(a,f(b),x,g(c,y),z) benar. Ini dapat diartikan sebagai "Ada setidaknya satu nilai bilangan
bulat positif y sehingga predikat
3. ¬q(a,f(b),x,g(c,y),z) benar." Dengan kata lain, ada setidaknya satu nilai y yang
membuat sesuatu tidak benar, tergantung pada x.
Secara keseluruhan, kalimat ini menyatakan bahwa, untuk setiap bilangan bulat positif x,
ada nilai y yang membuat sesuatu benar, tetapi ada setidaknya satu nilai y yang membuat
sesuatu tidak benar, dan semua ini bergantung pada hubungan antara fungsi p, q, f, dan g,
serta nilai-nilai a, b, c, dan z.