Answered step by step
Verified Expert Solution
Question
1 Approved Answer
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
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
Step: 1
Get Instant Access to Expert-Tailored Solutions
See step-by-step solutions with expert insights and AI powered tools for academic success
Step: 2
Step: 3
Ace Your Homework with AI
Get the answers you need in no time with our AI-driven, step-by-step assistance
Get Started