SOLUTION: Hello I stuck on this question can you please help? INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. Use conditional proof: 1. N &#8835

Question 1034245: Hello I stuck on this question can you please help?
INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems.
Use conditional proof:
1. N ⊃ (F � A)
2. B ⊃ (R � F) / (N ∨ B) ⊃ (A ∨ R)
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!

1. N ⊃ (F � A) 
2. B ⊃ (R � F) / (N ∨ B) ⊃ (A ∨ R)

               |3.   N ∨ B              Assumption for conditional proof 
               |4.  (F � A) ∨ (R � F)   1,2,3, Constructive dilemma
               |5.  (F � A) ∨ (F � R)       4, Commutation
               |6.  F � (A ∨ R)             5, Distribution
               |7.  (A ∨ R) � F             6, Commutation
               |8.  A ∨ R                   7, Simplification

9. (N ∨ B) ⊃ (A ∨ R)                        3-8 Conditional proof.

Edwin

RELATED QUESTIONS
I could really use some help. Thank You INSTRUCTIONS: Use natural deduction to derive... (answered by CPhill)

INSTRUCTIONS: Use natural deduction to derive the conclusion in each problem. Prove... (answered by RBryant)

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by AnlytcPhil)

INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems. (answered by jim_thompson5910)

Use natural deduction to derive the conclusion in each problem. Use natural... (answered by math_helper,Bogz)

PLease use all 18 rules of natural deduction to derive the conclusion (/), thanks. 1.... (answered by mccravyedwin,math_tutor2020)

please use all 18 rules of natural deduction to derive the conclusion (/), thanks. 1.... (answered by math_tutor2020)

INSTRUCTIONS: Use natural deduction to derive the conclusion in each problem. Prove... (answered by CPhill)