SOLUTION: 1. N > (F & A) 2. B > (R & F) / (N v B) > (A v R)

Algebra.Com
Question 1008802: 1. N > (F & A)
2. B > (R & F) / (N v B) > (A v R)
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
1. N > (F & A)
2. B > (R & F)       /    (N v B) > (A v R)

3. N v B                Conditional Proof Assumption
4. (F & A) v (R & F)    1,2,3 Constructive Dilemma
5. (F & A) v (F & R)    4, Commutativity
6. F & (A v R)          5, Distribution
7. A v R                6, (Conjunctive) Simplification   
8. (N v B) > (A v R)    3-7 Conditional Proof

Edwin
RELATED QUESTIONS

i need help solving this indirect proof 1. (R v S) > (H & ~G) 2. (K v R) > (G v ~H) (answered by Edwin McCravy)
How do I solve these proofs? Number one 1.~B v[(C>D)&(E>D)] 2. B&(C v E)... (answered by jim_thompson5910)
1. N ⊃ (F • A) 2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨... (answered by Edwin McCravy)
Indirect proof 9. 1) R 2) (~ C v ~ D) v S 3) ~ (C ⋅ D) ⊃ ~R / ∴ S (answered by solver91311)
Premises: 1.) S->~(N v R) 2.) R v N v O 3.) ~O Conclusion:... (answered by Edwin McCravy)
Use conditional proof: 1. N ⊃ (F • A) 2. B ⊃ (R • F) / (N ∨ B) ⊃ (A... (answered by Edwin McCravy,jim_thompson5910)
Derive: A v ~B 1.(F v G) v (A v ~B) 2. F>A 3.... (answered by jim_thompson5910)
Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)
I can only use the 8 implicational rules 1. (A v ~B) >(F v (R . G)) 2. A 3. F > L 4. (answered by jim_thompson5910)