document.write( "Question 799059: Please help me prove this!
\n" ); document.write( "(A&B)->~A therefore ~B \n" ); document.write( "
Algebra.Com's Answer #482484 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "(A&B)->~A\r\n" );
document.write( "\r\n" );
document.write( "Use the principle p->q is equivalent to ~pVq\r\n" );
document.write( "\r\n" );
document.write( "~(A&B)V~A\r\n" );
document.write( "\r\n" );
document.write( "Use deMorgan's law:  ~(p&q) is equivalent to ~pV~q\r\n" );
document.write( "\r\n" );
document.write( "(~AV~B)V~A\r\n" );
document.write( "\r\n" );
document.write( "Use the commutative law:  pVq is equivalent to qVp\r\n" );
document.write( "\r\n" );
document.write( "(~BV~A)V~A\r\n" );
document.write( "\r\n" );
document.write( "Use the associative law:  (pVq)Vr is equivalent to pV(qVr)\r\n" );
document.write( "\r\n" );
document.write( "~BV(~AV~A)\r\n" );
document.write( "\r\n" );
document.write( "Use the idempotent law:   pVp is equivalent to p\r\n" );
document.write( "\r\n" );
document.write( "~BV~A\r\n" );
document.write( "\r\n" );
document.write( "Looks like the argument is not valid.\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );