Question: PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 3.

PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9

PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9

3. Find an error in the following proof and explain why it

is an error. x(P(x)Q(x)),x(P(x)R(x))x(R(x)Q(x)) (1) x(P(x)Q(x)) - premise (2) P(c)Q(c) - universal

PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9 PLEASE ONLY ANSWER Q6-9

3. Find an error in the following proof and explain why it is an error. x(P(x)Q(x)),x(P(x)R(x))x(R(x)Q(x)) (1) x(P(x)Q(x)) - premise (2) P(c)Q(c) - universal instantiation (c is a constant) (3) x(P(x)R(x)) - premise (4) P(c)R(c) - existential instantiation (5) P(c) - conjunction elimination (6) Q(c) - modus ponens for (2) and (5) (7) R(c) - conjunction elimination for (4) (8) R(c)Q(c) - conjunction introduction for (6) and (7) (9) x(R(x)Q(x)) - existential generalization

Step by Step Solution

There are 3 Steps involved in it

1 Expert Approved Answer
Step: 1 Unlock blur-text-image
Question Has Been Solved by an Expert!

Get step-by-step solutions from verified subject matter experts

Step: 2 Unlock
Step: 3 Unlock

Students Have Also Explored These Related Databases Questions!