document.write( "Question 1209011: 1. W ⊃ Z
\n" ); document.write( "2. W v Z / ∴ Z \n" ); document.write( "
Algebra.Com's Answer #847581 by mccravyedwin(407)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. W  ⊃ Z\r\n" );
document.write( "2. W  v Z  / ∴    Z\r\n" );
document.write( "\r\n" );
document.write( "                |3.  ~Z      assumption for indirect proof\r\n" );
document.write( "                |4.  Z v W       2, commutation\r\n" );
document.write( "                |5.  W         4,3, disjunctive syllogism\r\n" );
document.write( "                |6.  Z         1,5, modus ponens    \r\n" );
document.write( "                |7. Z & ~Z     6,3, conjunction \r\n" );
document.write( "8. Z      lines 3-7 for indirect proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );