Time remaining:

Please help with solving a proof


label Philosophy
account_circle Unassigned
schedule 0 Hours
account_balance_wallet $5

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

Nov 18th, 2017

  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

Studypool's Notebank makes it easy to buy and sell old notes, study guides, reviews, etc.
Click to visit
The Notebank
...
Nov 18th, 2017
...
Nov 18th, 2017
Nov 19th, 2017
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