Put these statements in prenex normal form. [Hint: Use
Chapter 1, Problem 1.4.50(choose chapter or problem)
Put these statements in prenex normal form. [Hint: Use logical equivalence from Tables 6 and 7 in Section 1 .2, Table 2 in Section 1 .3, Example 19 in Section 1 .3, Exercises 45 and 46 in Section 1 .3, and Exercises 48 and 49 in this section.] a) 3xP(x) v 3xQ(x) v A, where A is a proposition not involving any quantifiers. b) -.(VxP(x) v VxQ(x c) 3xP(x) -+ 3xQ(x)
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