SOLUTION: Prove that the two arguments below are valid, using the method of natural deduction. Use the rules of implication and rules of replacement 1. B -> (D -> H) 2. ~(D -

Question 1022622: Prove that the two arguments below are valid, using
the method of natural deduction. Use the rules of
implication and rules of replacement
1. B -> (D -> H)
2. ~(D -> ~B) // H

Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

 1.      B -> (D -> H)
 2.      ~(D -> ~B)               //        H

 3.      (B v D) -> H        1, Importation
 4.      ~(~D v ~B)          2, Material implication
 5.      ~~D & ~~B           3, DeMorgan's law
 6.      D & B               4, Double negation
 7.      B & D               6, Commutation 
 8.      B                   7, Simplification
 9.      B v D               8, Addition
10.      H                   3,9, Modus Ponens

Edwin

RELATED QUESTIONS
Prove that the following two arguments are valid using the method of Natural Deduction.... (answered by robertb)

Solve the following proof using natural deduction (rules of replacement and rules of... (answered by robertb)

Prove that the argument is valid using the method of natural deduction. 1. Q 2. (R... (answered by textot)

Use Indirect Proof and the 8 Rules of Implication and the 10 Rules of Replacement of... (answered by Edwin McCravy)

prove the argument is valid using the method of natural deduction: 1. (~N wedge R)... (answered by math_tutor2020)

Prove the following argument to be valid using the method of Natural Deduction. (Do... (answered by Edwin McCravy)

Note that �->� is used for conditionals, �~� is used for negations, �v� is used for... (answered by robertb)

Use the 17 rules of inference to prove the arguments valid: I did not have the right... (answered by solver91311)

Prove the following three arguments to be valid using the method of Natural Deduction A. (answered by solver91311)