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

Question 1141500: premise (P&Q)V(R&S)
Premise R->L
goal ~P->L
Answer by Edwin McCravy(20054) (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

RELATED QUESTIONS
Using Inference Rules Premise 1. (P * Q) > R Premise 2. (P * Q) V S Premise 3. ~ R (answered by Edwin McCravy)

Construct deductions for each of the following arguments using Group I rules. (1) 1.... (answered by math_helper)

Solve the problem using rules of inference and replacement: Premise 1) Q v (R . S)... (answered by solver91311)

Solve the given proof for L. Include the rule and premise(s) from which each step was... (answered by jim_thompson5910)

I tried to prove this but I am lost on how to finish or am I done? Proof: ∀ x, (answered by solver91311)

I need help with the following Given U = {l, m, n, o, p, q, r, s, t, u, v, w}, A =... (answered by bcpm36)

Could you help me solve this px 6. (3 pts) Given U = {l, m, n, o, p, q, r, s, t, u,... (answered by vleith,asaad)

P v (Q & R) <=> (P v Q) & (P v R) (answered by Edwin McCravy)

I don't think it is in the book but here is one I can not solve, please help. Given... (answered by user_dude2008)