document.write( "Question 483036: Use the 17 rules of inference to prove the arguments valid:\r
\n" ); document.write( "\n" ); document.write( "I did not have the right keys for some of the logical operators, so here is what they are:\r
\n" ); document.write( "\n" ); document.write( "~ negation
\n" ); document.write( ". conjunction
\n" ); document.write( "v disjunction
\n" ); document.write( "> implication
\n" ); document.write( "= equivalence\r
\n" ); document.write( "\n" ); document.write( "Thanks!!\r
\n" ); document.write( "\n" ); document.write( "1) 1. (S v Q) / ~P > ~S \r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #330587 by solver91311(24713) $\"\"$ $\"About$

You can put this solution on YOUR website!
\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "The truth of

tells you nothing about the truth of

. In the first place, S could be either true or false provided Q was true. If S is false AND

(which is what we were trying to prove) is true, then certainly P -- but so what? That tells you nothing about not S. Then again, S could just as easily be true which tells you nothing about P.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "So either the answer is \"Cannot be proven\" or you left off a \"Given\" or two.\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "John
\n" ); document.write( "

\n" ); document.write( "My calculator said it, I believe it, that settles it
\n" ); document.write( "

$\"The$

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

\n" );