1. F⊃(J∨∼F)      Premise     	 

2. J⊃(L∨∼J)	 Premise

// Show F⊃L



3. ~Fv(Jv~F)     1, Material Implication (MI)

4. ~FvJ          3, IdemV Elimination (may go by other names, AvBvA == AvB)

5.  F⊃J          4, MI

6.  ~Jv(Lv~J)    2, MI

7.  ~JvL         6, IdemV Elimination 

8.  J⊃L          7, MI

9.  F⊃L          5,8 Hypothetical Syllogism (HS)



*** Proof complete ***

 

RELATED QUESTIONS

Use natural deduction to derive the conclusion in each problem.
 
Use conditional proof  (answered by jim_thompson5910)

Use natural deduction to derive the conclusion in each problem.


Use an ordinary... (answered by Edwin McCravy)

Using an ordinary proof (not a conditional or indirect proof) 
1. S ⊃ (K ⋅... (answered by richwmiller)

 Use an ordinary proof (not conditional or indirect) to solve the following arguments. 

 (answered by RBryant)

Using an ordinary proof (not a conditional or indirect proof) 
 (answered by richwmiller)

Premise:
1.
F
Conclusion:
(G ⊃ H) ∨ (~G ⊃ J)

Use either indirect proof or... (answered by Edwin McCravy,mccravyedwin)

I. Use an ordinary proof (not conditional or indirect) to solve the following arguments.
 (answered by CPhill)

 Use an ordinary proof (not conditional or indirect) to solve the following arguments... (answered by Edwin McCravy)

Use an ordinary proof (not conditional or indirect proof):
1.
G ⊃ (H ⊃ K) 
 
2.... (answered by Edwin McCravy)