Question 1139588
<pre>Use conditional proof:
 
1.	N ⊃ (F • A)	 
2.	B ⊃ (R • F)	/ (N ∨ B) ⊃ (A ∨ R)

3.                   |  N v B                      ACP 
4.                   |  (F • A) v (R • F)  1,2,3,  Constructive Dilemma
5.                   |  (F • A) v (F • R)      4,  Commutation
6.                   |  F • (A v R)            5,  Distribution
7.                   |  (A v R) • F            6,  Commutation
8.                   |  A v R                  7,  Simplification 
9.     (N ∨ B) ⊃ (A ∨ R)        lines 3-8  conditional proof

Edwin</pre>