How would you prove this argument valid ? 

1. A > H

2. G > S

3. ~ K > (A v G) 

4. ~ K & D

5.( H v S)> J   /J 



-------





1. A > H

2. G > S

3. ~ K > (A v G) 

4. ~ K & D

5.( H v S)> J

6. ~K         4, SIMP

7. A v G      6,3  MP 

8.:: A        Conditional Proof (CP) assumption #1

9.:: H        8,1  MP

10.:: H v S   9  ADD

11.:: G       CP assumption #2

12.:: S       12,2 MP

13.:: S v H   12 ADD

14.:: H v S   13 COMM

15.:: A v G --> H v S   8-14 Proof by Cases (PBC)

16. A v G --> H v S     8-15 CP

17. H v S     7,16  MP

15. J         17,5  MP





EDITED 5/15:  Corrected line 17 from "5,16  MP"  to  "7,16  MP"

  

RELATED QUESTIONS

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)

Example:
1.	A
2.	A>B	/ B
3.	B	1,2 MP		←You add this line


1.	G > H
2.	~H	/... (answered by ikleyn)

I am having trouble solving the following propositional logic proofs. 

1. Conclusion:... (answered by jim_thompson5910)

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

1. (R v S) > (H & ~G)
2. (K v R) > (G v ~H)     /   ~R
 (answered by jim_thompson5910)

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

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

1. A > B
2. C > D
3. K > (A v C)
4.  J v K
5.  J > Z
6.  W & ~Z   / B v... (answered by jim_thompson5910)

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