document.write( "Question 454883: Use a truth table to determine whether the two statements are equivalent ∼(p → q), p ∧ ∼q \n" ); document.write( "
Algebra.Com's Answer #312373 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "∼(p → q), p ∧ ∼q\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "| p | q | ~q | p → q | ∼(p → q) | p ∧ ∼q |\r\n" );
document.write( "覧覧覧覧覧覧覧覧覧覧覧覧覧覧覧覧覧覧覧覧覧予r\n" );
document.write( "| T | T |  F |   T   |     F    |    F    |\r\n" );
document.write( "| T | F |  T |   F   |     T    |    T    |\r\n" );
document.write( "| F | T |  F |   T   |     F    |    F    |\r\n" );
document.write( "| F | F |  T |   T   |     F    |    F    |\r\n" );
document.write( "\r\n" );
document.write( "The last two columns are the same FTFF, so they\r\n" );
document.write( "are equivalent and we can now write:\r\n" );
document.write( "\r\n" );
document.write( "      ∼(p → q) ⇔ p ∧ ∼q\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );