SOLUTION: premise (P&Q)V(R&S) Premise R->L goal ~P->L

Algebra ->  Proofs -> SOLUTION: premise (P&Q)V(R&S) Premise R->L goal ~P->L      Log On


   



Question 1141500: premise (P&Q)V(R&S)
Premise R->L
goal ~P->L

Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!
1. (P & Q) V (R & S)
2.  R -> L              / ~P -> L

                    | 3. ~P          assumption for conditional proof
                    | 4. ~P V ~Q     3. addition
                    | 5. ~(P & Q)    4. deMorgan's law
                    | 6. R & S       1,5, disjunctive syllogism
                    | 7. R           6, simplification
                    | 8. L           2,7, modus ponens

8. ~P -> L       lines 3-8 for conditional proof.

Edwin