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

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

Algebra.Com

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
RELATED QUESTIONS
Replacement Rules to solve the following proof: (�B∨ �H)→ M,K ∧... (answered by jim_thompson5910)

Solve the following using rules of replacement: (E → T) ∧ (T → O),... (answered by jim_thompson5910)

write a direct proof using the eight rules of inference (C → Q) � (~L →... (answered by Edwin McCravy)

use a truth table to determine whether the two statements are equivalent. ∼(q... (answered by Jk22)

assume P = FALSE, Q = TRUE, and R = FALSE. Determine the truth of the following... (answered by jim_thompson5910)

Solve the following using replacement rules: �S → O, O → S ∴... (answered by jim_thompson5910)

1. (Q∨R)→(W∨U) 2. W→P 3. (answered by jim_thompson5910)

1. ~P∨Q 2. Q→R ∴ P→R 1. R∨~Q 2. P→Q 3. ~R (answered by Edwin McCravy)

1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴... (answered by jim_thompson5910)