document.write( "Question 1139588: Use conditional proof:
\n" ); document.write( "
\n" ); document.write( "1. N ⊃ (F • A)
\n" ); document.write( "2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨ R)
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #760086 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
Use conditional proof:\r\n" );
document.write( " \r\n" );
document.write( "1.	N ⊃ (F • A)	 \r\n" );
document.write( "2.	B ⊃ (R • F)	/ (N ∨ B) ⊃ (A ∨ R)\r\n" );
document.write( "\r\n" );
document.write( "3.                   |  N v B                      ACP \r\n" );
document.write( "4.                   |  (F • A) v (R • F)  1,2,3,  Constructive Dilemma\r\n" );
document.write( "5.                   |  (F • A) v (F • R)      4,  Commutation\r\n" );
document.write( "6.                   |  F • (A v R)            5,  Distribution\r\n" );
document.write( "7.                   |  (A v R) • F            6,  Commutation\r\n" );
document.write( "8.                   |  A v R                  7,  Simplification \r\n" );
document.write( "9.     (N ∨ B) ⊃ (A ∨ R)        lines 3-8  conditional proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );