SOLUTION: M ⊃ H (K ∨ F) ⊃ M K /H

Algebra ->  Proofs -> SOLUTION: M ⊃ H (K ∨ F) ⊃ M K /H      Log On


   

Question 1194042: M ⊃ H
(K ∨ F) ⊃ M
K /H
Answer by Edwin McCravy(20054) About Me  (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.  M                   2,4, modus ponens
6.  H                   1,5, modus ponens

Edwin