document.write( "Question 1034245: Hello I stuck on this question can you please help?
\n" ); document.write( "INSTRUCTIONS: Use natural deduction to derive the conclusion in the following problems.\r
\n" ); document.write( "\n" ); document.write( "Use conditional proof:
\n" ); document.write( "1. N ⊃ (F • A)
\n" ); document.write( "2. B ⊃ (R • F) / (N ∨ B) ⊃ (A ∨ R) \n" ); document.write( "
Algebra.Com's Answer #649744 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\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 ∨ B              Assumption for conditional proof \r\n" );
document.write( "               |4.  (F • A) ∨ (R • F)   1,2,3, Constructive dilemma\r\n" );
document.write( "               |5.  (F • A) ∨ (F • R)       4, Commutation\r\n" );
document.write( "               |6.  F • (A ∨ R)             5, Distribution\r\n" );
document.write( "               |7.  (A ∨ R) • F             6, Commutation\r\n" );
document.write( "               |8.  A ∨ R                   7, Simplification\r\n" );
document.write( "\r\n" );
document.write( "9. (N ∨ B) ⊃ (A ∨ R)                        3-8 Conditional proof.\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );