SOLUTION: Create a proof for the following argument 1. M ⊃ H 2.(K ∨ F) ⊃ M 3.K /H

Algebra.Com
Question 1088314: Create a proof for the following argument
1. M ⊃ H
2.(K ∨ F) ⊃ M
3.K /H

Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
1.  M ⊃ H
2. (K ∨ F) ⊃ M
3.  K             /H

4.  K ∨ F              3, Addition
5.  H               2,4,1, Hypothetical syllogism 

Note: It could be written this way

K ⊃ (K ∨ F) ⊃ M  ⊃ H 

Edwin

RELATED QUESTIONS

Please help me create this proof using the 18 rules of inference. I have been working on... (answered by jim_thompson5910)
1. ~(H ⊃ ~E) ⊃ K 2. M v (O ⊃ H) 3. A ⊃ [~A v (~M ⊃ ~K)]... (answered by Apples_21)
Use an ordinary proof to show the conclusion can be derived from the premises. 1. G... (answered by Edwin McCravy)
Could you please help me? Im sick with a bug and cant think straight :/ A) 1. A ⊃ (answered by solver91311)
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)
Proof using rules of replacement. Thanks for your help. 1. G · K 2. K ⊃ E (answered by Edwin McCravy)
construct a formal proof of validity for the following argument. 1. (M ⊃ N)... (answered by Edwin McCravy)
(H ∨ M) ∨ L L ⊃ H H ⊃ (M ⊃ H) ∼(M ⊃ H)... (answered by solver91311)
Please complete the following natural deduction proof. 1. A ⊃ U / A ⊃ (K (answered by robertb)