document.write( "Question 935397: 1. ~P∨Q
\n" ); document.write( "2. Q→R ∴ P→R\r
\n" ); document.write( "\n" ); document.write( "1. R∨~Q
\n" ); document.write( "2. P→Q
\n" ); document.write( "3. ~R ∴ ~P\r
\n" ); document.write( "\n" ); document.write( "1. P
\n" ); document.write( "2. ~Q
\n" ); document.write( "3. ~R
\n" ); document.write( "4. (P&~Q)→(R∨S) ∴ S\r
\n" ); document.write( "\n" ); document.write( "1. (P&Q)→R
\n" ); document.write( "2. (P&R)→Q
\n" ); document.write( "3. P ∴ R↔Q\r
\n" ); document.write( "\n" ); document.write( "1. ~P&~Q
\n" ); document.write( "2. (P∨Q)∨(R∨S) ∴ (R∨S)\r
\n" ); document.write( "\n" ); document.write( "1. ~P ∴ ~(P&Q) \r
\n" ); document.write( "\n" ); document.write( "1. (P→Q)→S
\n" ); document.write( "2. S→~(T∨W)
\n" ); document.write( "3. (~T&~W)→R ∴ (P→Q)→R\r
\n" ); document.write( "\n" ); document.write( "1. (P&~Q)&(~R∨S)
\n" ); document.write( "2. ~((S&P)&~Q) ∴ ~R\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "1. P→Q
\n" ); document.write( "2. P→~(R∨Q) ∴ ~P\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "10. ∴ (P→~Q)↔(Q→~P)\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #568602 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "That's too many to post.  I'll just do 2:\r\n" );
document.write( "\r\n" );
document.write( "1.	P\r\n" );
document.write( "2.	~Q\r\n" );
document.write( "3.	~R\r\n" );
document.write( "4.	(P&~Q)→(R∨S) ∴ S \r\n" );
document.write( "\r\n" );
document.write( "5.      P&~Q         1,2,conjunction of premises\r\n" );
document.write( "6.      R∨S         4,5,hypothetical syllogism\r\n" );
document.write( "7.      S            6,3,disjunctive syllogism\r\n" );
document.write( "\r\n" );
document.write( "--------------------\r\n" );
document.write( "\r\n" );
document.write( "1.	(P→Q)→S\r\n" );
document.write( "2.	S→~(T∨W)\r\n" );
document.write( "3.	(~T&~W)→R ∴ (P→Q)→R\r\n" );
document.write( "\r\n" );
document.write( "4.      (P→Q)→~(T∨W)    1,2,hypothetical syllogism\r\n" );
document.write( "5.      (P→Q)→(~T&~W)     4,DeMorgan's theorem\r\n" );
document.write( "6.      (P→Q)→R          5,3,hypothetical syllogism    \r\n" );
document.write( "\r\n" );
document.write( "Edwin

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