SOLUTION: Hi all, I have started this proof and got a bit lost... 1. ~H > (~C >W) 2. W v ~H 3. (C <> ~L) > ~C 4. ~W Conclusion: ~(C <> ~L) What are the next steps to prove my concl

Algebra ->  Proofs -> SOLUTION: Hi all, I have started this proof and got a bit lost... 1. ~H > (~C >W) 2. W v ~H 3. (C <> ~L) > ~C 4. ~W Conclusion: ~(C <> ~L) What are the next steps to prove my concl      Log On


   

Question 979811: Hi all, I have started this proof and got a bit lost...
1. ~H > (~C >W)
2. W v ~H
3. (C <> ~L) > ~C
4. ~W
Conclusion: ~(C <> ~L)
What are the next steps to prove my conclusion?

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1~H > (~C >W)
2W v ~H
3(C <> ~L) > ~C
4~W
:.~(C <> ~L)
5~H2,4Disjunctive Syllogism
6~C > W1,5Modus Ponens
7~~C6,4Modus Tollens
8~(C <> ~L)3,7Modus Tollens