SOLUTION: I have been wrestling with trying to solve this proof.....Pleeaaassseee HELP! (J->L)->(M->N),A,A->(J->L),(M->N)->[(J->L)->O],O->(A->B)|-B

Question 707955: I have been wrestling with trying to solve this proof.....Pleeaaassseee HELP!
(J->L)->(M->N),A,A->(J->L),(M->N)->[(J->L)->O],O->(A->B)|-B

Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!
You have A (ie you're assuming A is true) and you have this

A -> (J -> L)

So you can use modus ponens to get J -> L

---------------------------------------------

You have this statement

(J->L)->(M->N)

and you can use modus ponens with this and the "J -> L" you got earlier to get M -> N

---------------------------------------------

Now you have M -> N and (M->N)->[(J->L)->O]

Use modus ponens to get (J->L)->O

Then use modus ponens again with J -> L and (J->L)->O to get O

----------------------------------------------

You now have O and O -> (A -> B)

Use modus ponens to get A -> B

Finally, use modus ponens with A and A -> B to get B

----------------------------------------------

So all of the given statements and using modus ponens a bunch of times leads us to the conclusion of B

This proves that the argument and conclusion is valid.
RELATED QUESTIONS
What is the determinant of the matrix F and G F= 0 3 0 0 0 a 2 b c d (answered by ikleyn,math_tutor2020)

Conditional proof M->(K->L) (L\/N) -> J Therefore, M-> (K->J) That's supposed to be (answered by math_helper)

Construct a Venn diagram illustrating the following sets. U = {a, b, c, d, e, f, g, h,... (answered by richwmiller)

a b c d e f g h i j k l m n o p q r (answered by ewatrrr)

i have a triangle with angle l p m o and n the middle value is 7 and im trying to figure... (answered by jim_thompson5910)

Solve the two step proofs below: 1. ~C 2. A > B 3. B > C / ~A 1. D > E 2. F > G (answered by Edwin McCravy)

II. Use Conditional Proof to solve the following arguments J ⊃ (K ⊃ L) J ⊃ (M... (answered by Edwin McCravy)

(G&H)>(J<>L) G<>H (H&~L)v(H&K) Conclusion: J>K Can somebody please help me with... (answered by Edwin McCravy)

Example: 1. A 2. A>B / B 3. B 1,2 MP ←You add this line 1. G > H 2. ~H /... (answered by ikleyn)