SOLUTION: Prove that the following two arguments are valid using the method of Natural Deduction. Show your work, which means �do the proofs just like Hurley does them.� Note that �//� is

Question 1050201: Prove that the following two arguments are valid using the method of Natural Deduction. Show your work, which means �do the proofs just like Hurley does them.� Note that �//� is used as a conclusion indicator.

1. (R & I)
2. [(R v G) -> Z] // (Z v ~W)
Answer by robertb(5830) (Show Source): You can put this solution on YOUR website!
1. (R v G) -> Z ------------------hypothesis
2. ~(RvG) v Z --------------------material implication
3. (~R ^ ~G) vZ ------------------de Morgan's
4. (~RvZ)^(~GvZ) ------------------distributivity
5. ~R v Z ------------------------simplification
6. R -> Z ------------------------material implication
7. R ^ I -------------------------hypothesis
8. R -----------------------------simplification
9. Z -----------------------------modus ponens on #6 and #8
10. Z v ~W -----------------------addition property of v
RELATED QUESTIONS
Prove that the two arguments below are valid, using the method of natural deduction.... (answered by Edwin McCravy)

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

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

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

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

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

Prove that the argument is valid using the method of natural deduction. tilde (Q... (answered by math_tutor2020)

Prove that the argument is valid using the method of natural deduction. 1. tilde(S dot... (answered by textot)

Using the eighteen valid argument forms, prove that the following arguments are valid.... (answered by math_helper)