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

Algebra ->  Proofs -> SOLUTION: 1. N > (F & A) 2. B > (R & F) / (N v B) > (A v R)      Log On


   

Question 1008802: 1. N > (F & A)
2. B > (R & F) / (N v B) > (A v R)
Answer by Edwin McCravy(20054) About Me  (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