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

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


   

Question 1005369: I need to prove the following:
M->(K->L)
(LvN)->J
/M->(K->J)
Answer by jim_thompson5910(35256) About Me  (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