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 #828293 by Edwin McCravy(20054)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (~P v ~R) v ~S \r\n" );
document.write( "\r\n" );
document.write( "2.  ~P v (~R v ~S)   1, association\r\n" );
document.write( "\r\n" );
document.write( "3.  ~P v (~S v ~R)   2, commutation \r\n" );
document.write( "\r\n" );
document.write( "4.   P ⊃ (~S v ~R)  3, material implication\r\n" );
document.write( "\r\n" );
document.write( "5.   P ⊃ ~(S • R)   4, demorgan's law\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );