SOLUTION: Solve the following using rules of replacement: R &#8744; V , R &#8594; (H &#8743; S), V &#8594; (H &#8743; N) &#8756; H &#8743; (S &#8744; N)

Click here to see ALL problems on Proofs

Question 996083: Solve the following using rules of replacement:
R ∨ V , R → (H ∧ S), V → (H ∧ N) ∴ H ∧ (S ∨ N)
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!

Number Statement Lines Used Reason
1 R v V
2 R --> (H & S)
3 V --> (H & N)
:. H & (S v N)
4 [ R --> (H & S) ] & [ V --> (H & N) ] 2,3 Conj
5 (H & S) v (H & N) 4,1 CD
6 H & (S v N) 5 Dist

Acronyms/Abbreviations used
CD = Constructive Dilemma
Conj = Conjunction
Dist = Distribution

SOLUTION: Solve the following using rules of replacement: R &#8744; V , R &#8594; (H &#8743; S), V &#8594; (H &#8743; N) &#8756; H &#8743; (S &#8744; N)

SOLUTION: Solve the following using rules of replacement: R ∨ V , R → (H ∧ S), V → (H ∧ N) ∴ H ∧ (S ∨ N)