SOLUTION: (~KvN)>Y Jv(~K&X) ~J /Y

Algebra ->  Proofs -> SOLUTION: (~KvN)>Y Jv(~K&X) ~J /Y      Log On


   

Question 980633: (~KvN)>Y
Jv(~K&X)
~J
/Y
Answer by Edwin McCravy(20064) About Me  (Show Source):
You can put this solution on YOUR website!

1. (~KvN)>Y
2. Jv(~K&X)
3. ~J     
        /Y

4. ~K&X     2,3,disjunctive syllogism
5. ~K       4,simplification
6. ~KvN     5,addition
7. Y        1,6,modus ponens 


Edwin