SOLUTION: Solve the given proof for L. Include the rule and premise(s) from which each step was derived. 1. ( R * S) v (R * ~E) Pr. 2. (Y * O) > (E * ~S) Pr. 3. (O > ~Y) > L

Algebra.Com
Question 199021: Solve the given proof for L. Include the rule and premise(s) from which each step was derived.
1. ( R * S) v (R * ~E) Pr.
2. (Y * O) > (E * ~S) Pr.
3. (O > ~Y) > L Pr. / .: L
Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
1. ( R * S) v (R * ~E)		    Pr.
2. (Y * O) -> (E * ~S)		    Pr.
3. (O -> ~Y) -> L 		    Pr. / .: L
-------------------------------------------------
4.   R * (S v ~E)                   1            Distribution
5.   (S v ~E) * R                   4            Commutation
6.   S v ~E                         5            Simplification
7.   ~E v S                         6            Commutation
8.   ~E v ~~S                       7            Double Negation
9.   ~(E * ~S)                      8            De Morgan's Law
10.  ~(Y * O)                     2,9            Modus Tollens
11.  ~Y v ~O                       10            De Morgan's Law
12.  ~O v ~Y                       11            Commutation
13.  O -> ~Y                       12            Material Implication
14.  L                           3,13            Modus Ponens


RELATED QUESTIONS

Solve the given proof for D. Include the rule from which each step was derived. Given: (answered by jim_thompson5910)
Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)
Construct deductions for each of the following arguments using Group I rules. (1) 1.... (answered by math_helper)
I am preparing for my final and am stuck studying on this problem. Please help me by... (answered by Edwin McCravy)
Using Inference Rules Premise 1. (P * Q) > R Premise 2. (P * Q) V S Premise 3. ~ R (answered by Edwin McCravy)
Its several months before Christmas - New Year’s holiday season. Wholesalers for... (answered by ikleyn)
Premise: 1. ~S Conclusion: ~(F • S) What is proof, line and... (answered by math_tutor2020)
premise (P&Q)V(R&S) Premise R->L goal... (answered by Edwin McCravy)
Which letter should come after the series Y, X, V, S _? 1) L 2) O 3)... (answered by Edwin McCravy)