SOLUTION: 1. (I v K)>~L 2. (H v J) >I 3. ~K 4. H v K /~L

Question 1061179: 1. (I v K)>~L
2. (H v J) >I
3. ~K
4. H v K
/~L
Answer by jim_thompson5910(35256) (Show Source): You can put this solution on YOUR website!

Number	Statement	Lines Used	Reason
1	(I v K) > ~L
2	(H v J) > I
3	~K
4	H v K
:.	~L
5	K v H	4	Comm
6	H	5,3	DS
7	H v J	6	Add
8	I	2,7	MP
9	I v K	8	Add
10	~L	1,9	MP

Abbreviations/Acronyms used:

Add = Addition
Comm = Commutation
DS = Disjunctive Syllogism
MP = Modus Ponens

RELATED QUESTIONS
1. (I v K) > ~L 2. (H v J) > I 3. ~K 4. H v K... (answered by jim_thompson5910)

1. ~H 2. H v K 3. L >H 4. ~(K.~L) v (~L.M) /... (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)

1. ~ ( H v ~K ) 2. L --> H / L --> M (answered by Edwin McCravy)

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

1. H > (M > E) 2. ~[(M > H) > E] 3. (I + O) > [M + (X = P)] 4. [(K v B) > ~M] > (~I (answered by CPhill)

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

Question 1 1. ~(U v R) 2. (~R v N) ⊃ (P * H) 3. Q ⊃ ~H ~Q Question 2... (answered by Edwin McCravy)

How would you prove this argument valid ? 1. A > H 2. G > S 3. ~ K > (A v G) 4. ~ K (answered by math_helper)