SOLUTION: Hello. We have been working on formal proofs in class and this one seems to be difficult for me. I have been having a hard time. 1. (A>~R)>W 2. ~(A+R) :. W v ~R I don't

Algebra ->  Proofs -> SOLUTION: Hello. We have been working on formal proofs in class and this one seems to be difficult for me. I have been having a hard time. 1. (A>~R)>W 2. ~(A+R) :. W v ~R I don't      Log On


   



Question 1033348: Hello. We have been working on formal proofs in class and this one seems to be difficult for me. I have been having a hard time.
1. (A>~R)>W
2. ~(A+R) :. W v ~R
I don't even know where to start. Thank you for your help.

Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!
NumberStatementLines UsedReason
1(A > ~R) > W
2~(A + R)
:.W v ~R
3~A v ~R2De Morgan's Law
4A > ~R3Material Implication
5W1,4Modus Ponens
6W v ~R5Addition