Question 983887
<pre>

1. (G&H)>(J<>L)

2.  G<>H

3.  (H&~L)v(H&K)

Conclusion: J>K 

----------------------------
Using a conditional proof, we assume the truth of J, 
so we put a "t" over all J's
--------------------

           t
1.  (G&H)>(J<>L)

2.  G<>H

3.  (H&~L)v(H&K)

            t 
Conclusion: J>K 

---------------------

Since J<>L appears in 1, and J is t, then we must put a t above all Ls

---------------------

           t  t
1.  (G&H)>(J<>L)

2.  G<>H

        t
3.  (H&~L)v(H&K)

            t 
Conclusion: J>K 

---------------------
Since L has a t over it, in the ~L of 3, we put an f over the ~ 


           t  t
1.  (G&H)>(J<>L)

2.  G<>H

       ft
3.  (H&~L)v(H&K)

            t 
Conclusion: J>K 

---------------------
Since there is an f over the ~L in 3, there is also an f
over the & of (H&~L).


           t  t
1.  (G&H)>(J<>L)

2.  G<>H

      fft    
3.  (H&~L)v(H&K)

            t 
Conclusion: J>K 

---------------------

Since the left side of 3. (H&~L) has an f over it, the right
side must have a t over it, so that 3 will be a true premise,
so we put a t over the & of H&K 

           t  t
1.  (G&H)>(J<>L)

2.  G<>H

      fft t  t 
3.  (H&~L)v(H&K)

            t 
Conclusion: J>K 

---------------------

Since the & of H&K has a t over it, both H, K must have t's over them.
So we put t's over all K's
 
           t  t
1.  (G&H)>(J<>L)

2.  G<>H

      fft t ttt 
3.  (H&~L)v(H&K)

            t t 
Conclusion: J>K 

---------------------

Therefore the conclusion is valid, because the assumption of the 
truth of J leads to the truth of K.

Edwin</pre>