SOLUTION: I need to prove the following: M->(K->L) (LvN)->J /M->(K->J)

Algebra.Com
Question 1005369: I need to prove the following:
M->(K->L)
(LvN)->J
/M->(K->J)

Answer by jim_thompson5910(35256)   (Show Source): You can put this solution on YOUR website!
NumberStatementLines UsedReason
1M -> (K -> L)
2(L v N) -> J
:.M -> (K -> J)
|3M*KACP
|4(M*K) -> L1Exp
|5L4,3MP
|6L v N5Add
|7J2,6MP
8(M * K) -> J3-7CP
9M -> (K -> J)8Exp

Abbreviations/Acronyms Used
ACP = Assumption for Conditional Proof
Add = Addition
CP = Conditional Proof
Exp = Exportation
MP = Modus Ponens

RELATED QUESTIONS

II. Use Conditional Proof to solve the following arguments J ⊃ (K ⊃ L) J ⊃ (M... (answered by Edwin McCravy)
please help to complete the following series... (answered by Fombitz)
2(j+k)=m;k (answered by MathLover1)
Conditional proof M->(K->L) (L\/N) -> J Therefore, M-> (K->J) That's supposed to be (answered by math_helper)
J+k=-L,for... (answered by Fombitz)
The lines l and m have vector equations r = 2i-j+4k+s(i+j- k) and r= -2i + 2j+ k+... (answered by math_tutor2020)
j→i ~j→k ~k Prove:... (answered by solver91311)
The lines l and m have vector equations r = 2i-j+4k+s(i+j- k) and r= -2i + 2j+ k+... (answered by ElectricPavlov)
How do solve this: Given: line j is perpendicular to line k; angle l is congruent to... (answered by Alan3354)