document.write( "Question 1031400: ∼S⊃(N⊃T)
\n" ); document.write( "~S∙(R⊃S)
\n" ); document.write( "(~M∙~N)⊃(~Ov~P)
\n" ); document.write( "(Qv~R)⊃~M
\n" ); document.write( "(~R∙~S)⊃(~~O∙~T) /~P \n" ); document.write( "
Algebra.Com's Answer #646104 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!

\n" ); document.write( "
\r\n" );
document.write( "I use    to mean\r\n" );
document.write( " &         and\r\n" );
document.write( " V         or\r\n" );
document.write( " ->        material implication, aka \"if...then\"\r\n" );
document.write( " ~         not\r\n" );
document.write( "\r\n" );
document.write( "====================================================================\r\n" );
document.write( "\r\n" );
document.write( " 1    ~S -> (N -> T)\r\n" );
document.write( " 2    ~S  & (R -> S)\r\n" );
document.write( " 3    (~M & ~N) -> (~O V ~P)\r\n" );
document.write( " 4    (Q V ~R)  -> ~M\r\n" );
document.write( " 5    (~R & ~S) -> (~~O & ~T)       |  ~P\r\n" );
document.write( " -------------------------------------------------------------------\r\n" );
document.write( " 6    ~S                            2.      Conjunction Elimination\r\n" );
document.write( " 7     R -> S                       2.      Conjunction Elimination\r\n" );
document.write( " 8    ~R                            6, 7.   Modus Tollens\r\n" );
document.write( " 9    ~R & ~S                       6, 8.   Conjuction Introduction\r\n" );
document.write( "10    ~~O & ~T                      5, 9.   Modus Ponens\r\n" );
document.write( "11    ~~O                           10.     Conjunction Elimination\r\n" );
document.write( "12     N -> T                       1, 6.   Modus Ponens\r\n" );
document.write( "13    ~T                            10.     Conjunction Elimination\r\n" );
document.write( "14    ~N                            12, 13. Modus Tollens\r\n" );
document.write( "15    Q V ~R                        8,      Disjunction Introduction\r\n" );
document.write( "16    ~M                            4, 15.  Modus Ponens\r\n" );
document.write( "17    ~M & ~N                       14, 15. Conjunction Introduction\r\n" );
document.write( "18    ~O V ~P                       3, 17.  Modus Ponens\r\n" );
document.write( "---------------------------------------------------------------------\r\n" );
document.write( "19    :. ~P                         11, 18. Disjunctive Syllogism\r\n" );
document.write( "\r\n" );
document.write( "

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