document.write( "Question 1004823: (∼∼A&C) ∴ (A∨∼∼C)
\n" ); document.write( "What is the proofs for this argument? \n" ); document.write( "
Algebra.Com's Answer #622069 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (∼∼A&C) ∴ (A∨∼∼C)\r\n" );
document.write( "\r\n" );
document.write( "2. (A&C)        1, Double negation\r\n" );
document.write( "3. (A)          2, Simplification\r\n" );
document.write( "4. (A∨∼∼C)     3, Addition\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );