document.write( "Question 1104306: P∙ Q
\n" ); document.write( " R⊃ ~Q
\n" ); document.write( " / ~R∨ ~P
\n" ); document.write( " \n" ); document.write( "

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

You can put this solution on YOUR website!

\n" ); document.write( "I'm using the ampersand in place of the dot
\n" ); document.write( "Also, I'm using the arrow notation instead of a horsehoe\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "\n" ); document.write( "

Number	Statement	Lines Used	Reason
1	P & Q
2	R -> ~Q
:.	~R v ~P
3	Q & P	1	Commutation
4	Q	3	Simplification
5	~~Q	4	Double Negation
6	~R	2,5	Modus Tollens
7	~R v ~P	6	Addition

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

\n" );