Consider the wff (4x)[(E y)P(x, y) ` (E y)Q(x, y)] S
Chapter 1, Problem 9(choose chapter or problem)
Consider the wff (4x)[(E y)P(x, y) ` (E y)Q(x, y)] S (4x)(E y)[P(x, y) ` Q(x, y)] a. Find an interpretation to prove that this wff is not valid. b. Find the flaw in the following proof of this wff. 1. (4x)[(E y)P(x, y) ` (E y)Q(x, y)] hyp 2. (4x)[P(x, a) ` Q(x, a)] 1, ei 3. (4x)(E y)[P(x, y) ` Q(x, y)] 2, eg
Unfortunately, we don't have that question answered yet. But you can get it answered in just 5 hours by Logging in or Becoming a subscriber.
Becoming a subscriber
Or look for another answer