Question

11. The following are the proofing steps of an argument in formal reasoning. In proofing step 7, what should be Z? * 1. W P 2. P[(x)?Q(x)] 1, UI 3. P(x) 2, SIMP 4. Q(x) 2, SIMP 5. ?xP(x) 3, UG 6. ?xQ(x) 4, UG 7. ?xP(x)??xQ(x) 5, 6, Z A. Addition B. Conjunction C. Disjunctive Syllogism D. Commutative

          11. The following are the proofing steps of an argument in formal reasoning. In
proofing step 7, what should be Z? *
1. W
P
2. P[(x)?Q(x)]
1, UI
3. P(x)
2, SIMP
4. Q(x)
2, SIMP
5. ?xP(x)
3, UG
6. ?xQ(x)
4, UG
7. ?xP(x)??xQ(x)
5, 6, Z
A. Addition
B. Conjunction
C. Disjunctive Syllogism
D. Commutative

11. The following are the proofing steps of an argument in formal reasoning. In
proofing step 7, what should be Z? *
1. W
P
2. P[(x)?Q(x)]
1, UI
3. P(x)
2, SIMP
4. Q(x)
2, SIMP
5. ?xP(x)
3, UG
6. ?xQ(x)
4, UG
7. ?xP(x)??xQ(x)
5, 6, Z
A. Addition
B. Conjunction
C. Disjunctive Syllogism
D. Commutative

Added by Randall C.

Elementary Statistics a Step by Step Approach

Allan G. Bluman 9th Edition

Instant Answer

Solved by Expert Rabia Sarwar

Step 1

W Show more…

Show all steps

Thanks for your feedback!

Hi Please solve it. 11. The following are the proofing steps of an argument in formal reasoning. In proofing step 7, what should be Z? * 1. W 2. P[x)AQx)] 3. P(x) 4. Q(x) 5. (âˆ«x)dxA 6. (âˆ«x)OxA 7. (âˆ«x)OxAV(x)dxA P 1, UI 2, SIMP 2, SIMP 3, UG 4, UG 5, 6, Z A. Addition B. Conjunction C. Disjunctive Syllogism D. Commutative