document.write( "Question 1181005: How would I finish this conditional proof?
\n" ); document.write( "Practice for an upcoming exam\r
\n" ); document.write( "\n" ); document.write( "1. (B ⊃ ∼M) ⊃ (T ⊃ ∼S)
\n" ); document.write( "2. B ⊃ K
\n" ); document.write( "3. K ⊃ ∼M
\n" ); document.write( "4. ∼S ⊃ N ∴ T ⊃ N - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - \n" ); document.write( "

Algebra.Com's Answer #810825 by math_helper(2461) $\"\"$ $\"About$

You can put this solution on YOUR website!
How did you start it? I don't see any work. Post what you've tried and I'll gladly help where I can.
\n" ); document.write( "===\r
\n" ); document.write( "\n" ); document.write( "


\n" );
document.write( "Yes... this is the start
\n" );
document.write( "   
\n" );
document.write( "1. (B ⊃ ∼M) ⊃ (T ⊃ ∼S)    Premise
\n" );
document.write( "2.  B ⊃ K                 Premise
\n" );
document.write( "3.  K ⊃ ∼M                Premise
\n" );
document.write( "4. ∼S ⊃ N                 Premise
\n" );
document.write( "// Show T ⊃ N by conditional proof\r
\n" );
document.write( "\n" );
document.write( "Leaving town, not likely to be able to log on until 6/1.
\n" );
document.write( "Here are the first few lines for you (I like to use :: for conditional proof lines):
\n" );
document.write( "5.::  B                   Conditional Proof (CP) assumption #1
\n" );
document.write( "6.::  K                   5,2 Modus Ponens (MP)
\n" );
document.write( "7.::  ~M                  6,3 MP
\n" );
document.write( "8.::  B ⊃ ~M              5-7 CP
\n" );
document.write( "9.::  
\n" );
document.write( " 
\n" );
document.write( " 
\n" );
document.write( "Continue from step 9.  Step 9 is an important conclusion from line 8 and line 1.  On step 10 you will need to make a 2nd CP assumption of T and show that it leads to N true (which will prove T ⊃ N).  \r
\n" );
document.write( "\n" );
document.write( "If all this looks foreign to you, you should talk to your instructor to get extra help.\r
\n" );
document.write( "\n" );
document.write( " \n" );
document.write( "

\n" );