Find clause-form equivalents for the following formulas: (a) x(P(x)(P(x),Q(x))). (b) (xP(x)(xP(x)). (c) (xy (P(x),Q(x,y)))>x (P(x),Q(x,x)).

Question:

Find clause-form equivalents for the following formulas:

(a) ∀x(P(x)→⋁(P(x),Q(x))).

(b) (⌉∀xP(x)→(∃x⌉P(x)).

(c) (∀x∃y⋀ (P(x),Q(x,y)))→∃>x⋀ (P(x),Q(x,x)).

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: