document.write( "Question 1195751: Phil 10\r
\n" ); document.write( "\n" ); document.write( "4. [10] use only inference and replacement rules (no CP or IP):\r
\n" ); document.write( "\n" ); document.write( "1. (~P v ~R) v ~S / ∴ P ⊃ ~(S • R) \n" ); document.write( "
Algebra.Com's Answer #837740 by RBryant(14)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "\r\n" );
document.write( "1. (~P v ~R) v ~S / ∴ P ⊃ ~(S • R)\r\n" );
document.write( "-----------------------------------------------------------------\r\n" );
document.write( "2. (~S v ~R) v ~P      1, Assoc.\r\n" );
document.write( "3. ~ (S • R) v ~P      2, DeM\r\n" );
document.write( "4. ~ ~ (S • R) ⊃ ~P    3, Impl\r\n" );
document.write( "5. (S • R) ⊃ ~P        4, D.N.\r\n" );
document.write( "6. ~ ~P ⊃ (S • R)      5, Trans\r\n" );
document.write( "7. P ⊃ ~(S • R)        6, D.N.\r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "

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