SOLUTION: II. Use Conditional Proof to solve the following arguments J ⊃ (K ⊃ L) J ⊃ (M ⊃ L) ~L / J ⊃ ~(K v M) Thank you!

Question 1157892: II. Use Conditional Proof to solve the following arguments
J ⊃ (K ⊃ L)
J ⊃ (M ⊃ L)
~L / J ⊃ ~(K v M)
Thank you!

Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!
II. Use Conditional Proof to solve the following arguments


 1.  J ⊃ (K ⊃ L)
 2.  J ⊃ (M ⊃ L)
 3.  ~L                / J ⊃ ~(K v M)
                  | 4.  J        Assumption for Conditional Proof
                  | 5.  K ⊃ L    1,4, Modus Ponens
                  | 6.  ~K       5,3, Modus Tollens
                  | 7.  M ⊃ L    2,4, Modus Ponens
                  | 8.  ~M       7,3, Modus Tollens
                  | 9. ~K ● ~M   6,8, Conjunction 
                  |10. ~(K v M)  9, DeMorgan's Law
11. J ⊃ ~(K v M)       Lines 4-10     Conditional Proof

Edwin

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

III. Use Indirect Proof to solve the following arguments (K v L) ⊃ (M • N) (N v... (answered by jim_thompson5910)

I need to prove the following: M->(K->L) (LvN)->J... (answered by jim_thompson5910)

Construct a proof in Natural Deduction for the following argument. Show the proof. Do... (answered by jim_thompson5910)

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

J+k=-L,for... (answered by Fombitz)

please help to complete the following series... (answered by Fombitz)

1. J v (K · L) 2. ~ K //  J (answered by Edwin McCravy,math_tutor2020)

Construct a proof for the following: 1. ~(J * L) 2. (J --> ~L) --> (~M * ~X) 3.... (answered by Edwin McCravy)