SOLUTION: (A>~R)>W ~(A*R) .: W v ~ R

Algebra ->  Proofs -> SOLUTION: (A>~R)>W ~(A*R) .: W v ~ R      Log On


   

Question 1033317: (A>~R)>W
~(A*R) .: W v ~ R
Answer by robertb(5830) About Me  (Show Source):
You can put this solution on YOUR website!
1. ~(A*R) ----------------------hypothesis
2. ~A v ~R --------------------de Morgan's
3. A > ~R ---------------------material implication
4. (A>~R)>W --------------------hypothesis
5. W -------------------- modus ponens on #3 and #4
6. W v ~R --------------------disjunctive amplification