document.write( "Question 189539: 7)I can only use the 8 Rules of Inference. Need help!!!
\n" ); document.write( "1. (T → C) → ~F
\n" ); document.write( "2. S → C
\n" ); document.write( "3. T → S
\n" ); document.write( "4. F v ~P /~P
\n" ); document.write( "________________________
\n" ); document.write( " 5.
\n" ); document.write( " 6.
\n" ); document.write( " 7.
\n" ); document.write( " 8.
\n" ); document.write( " 9.
\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #142226 by jim_thompson5910(35256) $\"\"$ $\"About$

You can put this solution on YOUR website!
Here, you'll use a hypothetical syllogism to isolate ~F (using modus ponens) which will then get you ~P (through a disjunctive syllogism).\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "

\r\n" );
document.write( "1. (T -> C) -> ~F\r\n" );
document.write( "2. S -> C\r\n" );
document.write( "3. T -> S\r\n" );
document.write( "4. F v ~P /~P\r\n" );
document.write( "----------------------\r\n" );
document.write( "5.  T -> C            3,2   Hypothetical Syllogism\r\n" );
document.write( "6.  ~F                1,5   Modus Ponens\r\n" );
document.write( "7.  ~P                4,6   Disjunctive Syllogism\r\n" );
document.write( "

\n" ); document.write( "

\n" );