SOLUTION: 1. W ⊃ (P v C) 2. ~P 3. W/C I am trying to see how they were able to get the conclusion "C" I think it should be 4. C modus ponens 1,2 But I am not sure if that

Question 1171806: 1. W ⊃ (P v C)
2. ~P
3. W/C
I am trying to see how they were able to get the conclusion "C"
I think it should be
4. C modus ponens 1,2
But I am not sure if that is correct or if i am on the wrong path.
Answer by math_tutor2020(3816) (Show Source): You can put this solution on YOUR website!

You have the right idea, but it will require two steps instead of one.

You can use Modus Ponens on lines 1 & 3 getting P v C as the result.
This is because we're told that "If W, then (P v C)" on line 1 and we know that W is the case on line 3. So that must mean (P v C) is the case as a result.

Afterward, we use disjunctive syllogism on the statements P v C and ~P (line 2)
Basically from P v C we know that either P is the case or C is. But line 2 says that ~P is the case, so we know that P isn't the case. That leaves C being the conclusion.

Here's the derivation table of the proof argument

Number	Statement	Lines Used	Reason
1	W -> (P v C)
2	~P
3	W
:.	C
4	P v C	1,3	Modus Ponens
5	C	4,2	Disjunctive Syllogism

RELATED QUESTIONS
Hi all, I have started this proof and got a bit lost... 1. ~H > (~C >W) 2. W v ~H 3. (answered by jim_thompson5910)

Prove the following three arguments to be valid using the method of Natural Deduction A. (answered by solver91311)

1. (J v F) v M 2. (J v M) ⊃ ~ P 3. ~F/~(F v P) 4. M Assumption... (answered by math_tutor2020)

Derive the conclusion from the given premise in the argument below by utilizing... (answered by jim_thompson5910)

1. T ⊃ (Q & F) 2. T & C/Q v O I am trying to solve this equation using the... (answered by math_tutor2020)

Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)

Question 1 1. ~(U v R) 2. (~R v N) ⊃ (P * H) 3. Q ⊃ ~H ~Q Question 2... (answered by Edwin McCravy)

Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical... (answered by jim_thompson5910)

The general equation os a quadratic polynomial is p(x)=ax(squared)+bx+c with a,b,c all... (answered by longjonsilver)