document.write( "Question 350522: Give a proof of the following argument:\r
\n" ); document.write( "\n" ); document.write( "1 (1) A --> (B & ~K) Premise
\n" ); document.write( "2 (2) (B & ~K) --> ~A Premise\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Conclusion: ~A v G\r
\n" ); document.write( "\n" ); document.write( "I have absolutely no idea what to do. Please help me, please! \n" ); document.write( "

Algebra.Com's Answer #250544 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!

\r\n" );
document.write( "1.  A -> (B & ~K)     \r\n" );
document.write( "2.  (B & ~K) -> ~A         :. ~A v G\r\n" );
document.write( "--------------------------------------\r\n" );
document.write( "3.  A -> ~A                   1, 2      Hypothetical Syllogism\r\n" );
document.write( "4.  ~A v ~A                   3         Material Implication\r\n" );
document.write( "5.  ~A                        4         Tautology\r\n" );
document.write( "6.  ~A v G                    5         Addition\r\n" );
document.write( "

\n" ); document.write( "

\n" );