Network
Interpretasi Pertama:
Memiliki domain yang terdiri dari himpunan objek {a, b, x, y}.
Fungsi f diinterpretasikan sebagai fungsi identitas, yaitu f(x, b) = x.
Fungsi g diinterpretasikan sebagai fungsi konstanta, yaitu g(x, y, a) = a.
Predikat q diinterpretasikan sebagai predikat konjungsi, sehingga q(f(a, f(x, b))) or q(g(x,y, a)) menjadi q(a, x) or q(a, a).
Interpretasi Kedua:
Memiliki domain yang terdiri dari himpunan objek {a, b, x, y}.
Fungsi f diinterpretasikan sebagai fungsi konstanta, yaitu f(x, b) = b.
Fungsi g diinterpretasikan sebagai fungsi identitas, yaitu g(x, y, a) = x.
Predikat q diinterpretasikan sebagai predikat disjungsi, sehingga q(f(a, f(x, b))) or q(g(x,y, a)) menjadi q(b, y) or q(x, a).
***
