Time remaining:
Please help with solving a proof

Tutor: None Selected Time limit: 0 Hours

Please help with solving a proof, the third line is the conclusion. I can't figure it out. 

1. (K v L) -> M 
2. ~K v N) -> O 

M v O

Mar 4th, 2015

  1. (K v L) -> M   premise




1.3  (~KvM)  Decomposing a conjunction

1.4  (Mv~K)

1.5  ~ M->~K

2. (~K v N) -> O  premise



2,3  (Kv0)  Decomposing a conjunction

2.4  ~K->0

3.  ~ M->0 law of syllogism  1.5 , 2.4


  MvO  is valid argument

Jun 1st, 2015

Did you know? You can earn $20 for every friend you invite to Studypool!
Click here to
Refer a Friend
Mar 4th, 2015
Mar 4th, 2015
Dec 2nd, 2016
Mark as Final Answer
Unmark as Final Answer
Final Answer

Secure Information

Content will be erased after question is completed.

Final Answer