Question 1125684
<font color="black" face="times" size="3">
I'm going to pick on the first line 
(G • P) &#8594; K, E &#8594; Z, ~P &#8594; ~ Z, G &#8594; (E v L), therefore, (G • ~L) &#8594; K
to prove that out. 


I'll do so in two ways. The first of which is through a conditional proof


Start with the antecedent of the conclusion, which is (G & ~L) and show how it leads to K
<img src = "https://i.imgur.com/bmHtHwx.png">

note: I used an ampersand in place of a dot


------------------------------------------------------------------------------
Then I'll show how to do a proof by contradiction (aka reductio ad absurdum), which is an indirect proof. 


The idea is to assume the complete opposite the conclusion, and then show how a contradiction arises.
<img src = "https://i.imgur.com/rhOsRx8.png">
</font>