SOLUTION: (G&H)>(J<>L) G<>H (H&~L)v(H&K) Conclusion: J>K Can somebody please help me with this proof? I know I can use a conditional proof and assume J, but I'm stuck after that!

Algebra ->  Proofs -> SOLUTION: (G&H)>(J<>L) G<>H (H&~L)v(H&K) Conclusion: J>K Can somebody please help me with this proof? I know I can use a conditional proof and assume J, but I'm stuck after that!      Log On


   



Question 983887: (G&H)>(J<>L)
G<>H
(H&~L)v(H&K)
Conclusion: J>K
Can somebody please help me with this proof? I know I can use a conditional proof and assume J, but I'm stuck after that!

Answer by Edwin McCravy(20054) About Me  (Show Source):
You can put this solution on YOUR website!

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