document.write( "Question 929929: I need the following proof :) PLEASE. I am struggling...\r
\n" ); document.write( "\n" ); document.write( "1. P-> (~Q & R)
\n" ); document.write( "2. (Qv~R) ->S
\n" ); document.write( "3. ~SvP\r
\n" ); document.write( "\n" ); document.write( "Conclusion: ~Q\r
\n" ); document.write( "\n" ); document.write( "THANK YOU! \n" ); document.write( "
Algebra.Com's Answer #564670 by Edwin McCravy(20056)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. P-> (~Q&R)\r\n" );
document.write( "2. (Qv~R) ->S\r\n" );
document.write( "3. ~SvP \r\n" );
document.write( "Conclusion: ~Q \r\n" );
document.write( "\r\n" );
document.write( "4. (~~Qv~R) -> S   2,DN        (double negation)\r\n" );
document.write( "5. ~(~Q&R)  -> S   4,DM        (deMorgan's law) \r\n" );
document.write( "6. ~S -> ~~(~Q&R)  5,CP        (contrapositive)\r\n" );
document.write( "7. ~S -> (~Q&R)    6,DN        (double negation) \r\n" );
document.write( "8. ~Q&R            7,1,3,CD    (constructive dilemma)\r\n" );
document.write( "9. ~Q              8,simp.     (simplification of a conjunction)\r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );