Anda di halaman 1dari 2

Latihan

Misalkan x, y, z adalah varibael, a adalah konstanta, f adalah fungsi uner, dan B, E, M, S


adalah predikat. Gambarkan pohon urai (parse tree) untuk formula-formula berikut:

1. "x$y (M(x,y) ^ "z (M(z,y))  E(x,z)).


Jawab:

2. "x$y"z (M(x,y) ^ (M(z,y))  E(x,z)).


Jawab:

3. "x ($y S(x,f(y))  B(x,f(a))).


Jawab:

Anda mungkin juga menyukai