SOLUTION: Kv~M, (K>~Z)>(~M>K), (Kv~M)>(K>~Z) / ~ZvK

Algebra ->  Proofs -> SOLUTION: Kv~M, (K>~Z)>(~M>K), (Kv~M)>(K>~Z) / ~ZvK      Log On


   

Question 1087594: Kv~M, (K>~Z)>(~M>K), (Kv~M)>(K>~Z) / ~ZvK
Answer by Edwin McCravy(20055) About Me  (Show Source):
You can put this solution on YOUR website!
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