SOLUTION: 1. ~A 2. (C v A) > L 3. A v D 4. (D v U)

Click here to see ALL problems on Proofs

Question 977619: 1. ~A
2. (C v A) > L
3. A v D
4. (D v U) > C /therefore L

Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!
The given stuff is lines 1. through 4.

The stuff I'm adding on is lines 5. through 9.

Number Statement Lines Used Reason
1 ~A
2 (C v A) > L
3 A v D
4 (D v U) > C
.: L
5 D 3,1 Disjunctive Syllogism
6 D v U 5 Addition
7 C 4,6 Modus Ponens
8 C v A 7 Addition
9 L 2,8 Modus Ponens

SOLUTION: 1. ~A 2. (C v A) > L 3. A v D 4. (D v U) > C /therefore L