Answered step by step
Verified Expert Solution
Link Copied!

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

image text in transcribed

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

blur-text-image

Get Instant Access to Expert-Tailored Solutions

See step-by-step solutions with expert insights and AI powered tools for academic success

Step: 2

blur-text-image

Step: 3

blur-text-image

Ace Your Homework with AI

Get the answers you need in no time with our AI-driven, step-by-step assistance

Get Started

Recommended Textbook for

Introduction To Finance Markets, Investments, And Financial Management

Authors: Ronald W Melicher, Edgar Norton

13th Edition

0470128925, 9780470128923

More Books

Students also viewed these Finance questions

Question

Explain the benefits derived from TQM with examples.

Answered: 1 week ago