document.write( "Question 1042178: I have been super stuck on a logic puzzle and I need help! I have to translate it into symbolic form then use the rules, implication rules and replacement rules, along with indirect proof to derive the conclusion.\r
\n" ); document.write( "\n" ); document.write( "Here is the puzzle with the letters for the simple statements provided:\r
\n" ); document.write( "\n" ); document.write( "If the murder happened in the hotel room, then there are bloodstains somewhere in the room. It follows that it is not the case that the murder happened in the hotel room and there are not bloodstains somewhere in the room. (M, B).
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #657136 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!
\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "You have left something out.
\n" ); document.write( "
\r\n" );
document.write( "M -> B  |   ~M & ~B\r\n" );
document.write( "
\r
\n" ); document.write( "\n" ); document.write( "Doesn't necessarily follow. If you have not B, then you can infer not M by Modus Tollens, but as it stands the conclusion is invalid.\r
\n" ); document.write( "\n" ); document.write( "In other words, the problem would have to read: \"If the murder happened in the hotel room, then there are bloodstains somewhere in the room. There are no bloodstains in the room. It follows that it is not the case that the murder happened in the hotel room and there are not bloodstains somewhere in the room.\" Then your proof would look like:
\n" ); document.write( "
\r\n" );
document.write( "1.  M -> B  \r\n" );
document.write( "2.  ~B          |   ~M & ~B\r\n" );
document.write( "\r\n" );
document.write( "3.  ~M              1, 2 Modus Tollens\r\n" );
document.write( "4.  :. ~M & ~B      2, 3 Conjuction Introduction\r\n" );
document.write( "
\r
\n" ); document.write( "\n" ); document.write( "John
\n" ); document.write( "
\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "
\n" );