Identify the error or errors in this argument that supposedlyshows that if ∃xP(x)∧∃xQ(x)is true then∃x(P(x)∧Q(x))is true. ∃xP(x)∨∃xQ(x) Premise ∃xP(x) Simplification from (1) P(c) Existential instantiation from (2) ∃xQ(x) Simplification from (1) Q(c) Existential instantiation from (4) P(c)∧Q(c) Conjunction from (3) and (5) ∃x(P(x)∧Q(x)) Existential generalization

Algebra & Trigonometry with Analytic Geometry
13th Edition
ISBN:9781133382119
Author:Swokowski
Publisher:Swokowski
Chapter4: Polynomial And Rational Functions
Section: Chapter Questions
Problem 22RE
icon
Related questions
Topic Video
Question

Question # 5:

Identify the error or errors in this argument that supposedlyshows that if ∃xP(x)∧∃xQ(x)is true then∃x(P(x)∧Q(x))is true.

  1. xP(x)∨∃xQ(x) Premise
  2. xP(x) Simplification from (1)
  3. P(c) Existential instantiation from (2)
  4. xQ(x) Simplification from (1)
  5. Q(c) Existential instantiation from (4)
  6. P(c)∧Q(c) Conjunction from (3) and (5)
  7. x(P(x)∧Q(x)) Existential generalization
Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps with 2 images

Blurred answer
Knowledge Booster
Propositional Calculus
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Recommended textbooks for you
Algebra & Trigonometry with Analytic Geometry
Algebra & Trigonometry with Analytic Geometry
Algebra
ISBN:
9781133382119
Author:
Swokowski
Publisher:
Cengage
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Algebra and Trigonometry (MindTap Course List)
Algebra and Trigonometry (MindTap Course List)
Algebra
ISBN:
9781305071742
Author:
James Stewart, Lothar Redlin, Saleem Watson
Publisher:
Cengage Learning