Question 1087594
<pre>
1. Kv~M 
2. (K>~Z)>(~M>K) 
3. (Kv~M)>(K>~Z)   /  ~ZvK

4. K>~Z          3,1, Modus ponens
5. ~M>K          2,4, Modus ponens
6. ~ZvK        4,5,1, Constructive dilemma  

Edwin</pre>