SOLUTION: I need help finishing this proof. 1. (A v B) v C 2. ~B & ~ E 3. (A v C)

Click here to see ALL problems on Proofs

Question 205447: I need help finishing this proof.
1. (A v B) v C
2. ~B & ~ E
3. (A v C) > (E & W) / ~ (~E v ~ W)
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!

1. (A v B) v C 2. ~B & ~ E 3. (A v C) -> (E & W) / ~ (~E v ~ W) --------------------------------------- 4. ~B 2 Simplification 5. (B v A) v C 1 Commutation 6. B v (A v C) 5 Association 7. A v C 6,4 Disjunctive Syllogism 8. E & W 3,7 Modus Ponens 9. ~~E & ~~W 8 Double Negation 10. ~(~E v ~W) 9 De Morgan's Law

SOLUTION: I need help finishing this proof. 1. (A v B) v C 2. ~B & ~ E 3. (A v C) > (E & W) / ~ (~E v ~ W)