document.write( "Question 674504: Prove: Q\r
\n" ); document.write( "\n" ); document.write( "(1) [~(A•C)->Q]•Z
\n" ); document.write( "(2) [~B v ~(A•C)]•D
\n" ); document.write( "(3)`B->Q
\n" ); document.write( "(4)
\n" ); document.write( "(5)
\n" ); document.write( "(6) Q \n" ); document.write( "

Algebra.Com's Answer #419282 by solver91311(24713) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "

\r\n" );
document.write( "\r\n" );
document.write( "Prove: Q\r\n" );
document.write( "\r\n" );
document.write( "(1) [~(A•C)->Q]•Z       : Given\r\n" );
document.write( "(2) [~B v ~(A•C)]•D     : Given\r\n" );
document.write( "(3) ~B->Q               : Given\r\n" );
document.write( "(4) [~(A•C)->Q]         : (1) Conjunction Elimination\r\n" );
document.write( "(5) [~B v ~(A•C)]       : (2) Conjunction Elimination\r\n" );
document.write( "(6) Q                   : (4),(5) Disjunction Elimination Q.E.D.\r\n" );
document.write( "

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

\n" ); document.write( "Egw to Beta kai to Sigma
\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "

$\"The$

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

\n" );