Time remaining:
Please help with solving a proof

Philosophy
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

    ~(KvL)vM

  (~K&~L)vM

  (~KvM)&(~LvM)

1.3  (~KvM)  Decomposing a conjunction

1.4  (Mv~K)

1.5  ~ M->~K

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

  (K&~N)vO

  (KvO)&(~NvO)

2,3  (Kv0)  Decomposing a conjunction

2.4  ~K->0

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

  ~(~M)vO

  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
check_circle
Mark as Final Answer
check_circle
Unmark as Final Answer
check_circle
Final Answer

Secure Information

Content will be erased after question is completed.

check_circle
Final Answer