document.write( "Question 1139330: A → (B → C) ├ (B & A) → C \n" ); document.write( "
Algebra.Com's Answer #761910 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1. A → (B → C)\r\n" );
document.write( "\r\n" );
document.write( " 2. ~A ∨ (B → C)       1, Material implication\r\n" );
document.write( " 3. ~A ∨ (~B ∨ C)      2, Material implication\r\n" );
document.write( " 4. (~A ∨ ~B) ∨ C      3, Association\r\n" );
document.write( " 5. ~(A & B) ∨ C       4, deMorgan's law\r\n" );
document.write( " 6. (A & B) → C        5, Material implication\r\n" );
document.write( " 7. (B & A) → C        6, Commutation\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "
\n" );