document.write( "Question 1207464: Hello, may I please get some help on these proofs? Thank you in advance! :)\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "https://ibb.co/HhS7QHM
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #845341 by Edwin McCravy(20055) $\"\"$ $\"About$

You can put this solution on YOUR website!

\r\n" );
document.write( "ALT symbols don't work very well on here, so instead of\r\n" );
document.write( "a horseshoe, I will use an arrow like this -> instead.\r\n" );
document.write( "\r\n" );
document.write( "1. (Q -> ~J) -> (M -> ~D)\r\n" );
document.write( "2. Q -> M\r\n" );
document.write( "3. M -> ~J    /Q -> ~D\r\n" );
document.write( "\r\n" );
document.write( "4. Q -> ~J       2,3 Hypothetical Syllogism (HS)\r\n" );
document.write( "5. M -> ~D       1,4 Modus Ponens (MP)\r\n" );
document.write( "6. Q -> ~D       2,5 Hypothetical Syllogism (HS)\r\n" );
document.write( "\r\n" );
document.write( "----------------------------------\r\n" );
document.write( "\r\n" );
document.write( "1. T -> (Q & F)   \r\n" );
document.write( "2. T & C      /Q v O\r\n" );
document.write( "\r\n" );
document.write( "3. T             2,  Simplification (Simp)\r\n" );
document.write( "4. Q & F         1,3 Modus Ponens (MP)\r\n" );
document.write( "5. Q             4,  Simplification (Simp)\r\n" );
document.write( "6. Q v O         5,  Addition  \r\n" );
document.write( "\r\n" );
document.write( "Edwin

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

\n" );