Question: Subject is prolog answer only part e and f 8- [6pt] Let c and d be constants, f a function symbol with one argument, g
Subject is prolog
answer only part e and f
![Subject is prolog answer only part e and f 8- [6pt] Let](https://s3.amazonaws.com/si.experts.images/answers/2024/07/668f7b1033271_183668f7b0fa8e22.jpg)
8- [6pt] Let c and d be constants, f a function symbol with one argument, g a function symbol with two arguments and h a function symbol with three arguments. Further, P and Q are predicate symbols with three arguments. Which are formulas: a. Vx P(f(d), hgc, x), d, y) b. V P(f(d), h(P(x, y), d, y)) 3 c. Vx Q(g(h(x, f(d), x), g(x,x)), h(x, x,x), c) d. 3z(Q(z, z, z) P(z)) e. Vx Vy(g(x, y) P(x, y, x)) f. Q(c,d,c). 8- [6pt] Let c and d be constants, f a function symbol with one argument, g a function symbol with two arguments and h a function symbol with three arguments. Further, P and Q are predicate symbols with three arguments. Which are formulas: a. Vx P(f(d), hgc, x), d, y) b. V P(f(d), h(P(x, y), d, y)) 3 c. Vx Q(g(h(x, f(d), x), g(x,x)), h(x, x,x), c) d. 3z(Q(z, z, z) P(z)) e. Vx Vy(g(x, y) P(x, y, x)) f. Q(c,d,c)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
