document.write( "Question 1061930: how do you construct a proof for the following arguments? Help on homework \r
\n" ); document.write( "\n" ); document.write( "s V p
\n" ); document.write( "p → ( a →~b)
\n" ); document.write( "~(w→s)
\n" ); document.write( "r→~(b→~a)\r
\n" ); document.write( "\n" ); document.write( "_____________________
\n" ); document.write( "~r\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #677436 by solver91311(24713)\"\" \"About 
You can put this solution on YOUR website!

\n" ); document.write( "
\r\n" );
document.write( "\r\n" );
document.write( " 1.   S v P\r\n" );
document.write( "\r\n" );
document.write( " 2.   P -> (A -> B)\r\n" );
document.write( "\r\n" );
document.write( " 3.   ~(W -> S)\r\n" );
document.write( "\r\n" );
document.write( " 4.   R -> ~(B -> ~A)     :.    ~R\r\n" );
document.write( "\r\n" );
document.write( "===================================\r\n" );
document.write( "\r\n" );
document.write( " 5.   ~(~W v S)           3: Material Implication\r\n" );
document.write( "\r\n" );
document.write( " 6.   W & ~S              5: De Morgan\r\n" );
document.write( "\r\n" );
document.write( " 7.   ~S                  6: Conjunctive Elimination\r\n" );
document.write( "\r\n" );
document.write( " 8.   P                   7, 1:  Disjunctive Syllogism\r\n" );
document.write( "\r\n" );
document.write( " 9.   A -> ~B             8, 2:  Modus Ponens\r\n" );
document.write( "\r\n" );
document.write( "10.   ~A v ~B             9: Material Implication\r\n" );
document.write( "\r\n" );
document.write( "11.   ~B v ~A            10: Commutativity\r\n" );
document.write( "\r\n" );
document.write( "12.   B -> ~A            11: Material Implication\r\n" );
document.write( "\r\n" );
document.write( "13.   ~(~(B -> ~A))      12: Double Negation Introduction\r\n" );
document.write( "\r\n" );
document.write( "13.   :. ~R              13, 4: Modus Tolens\r\n" );
document.write( "\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
\n" ); document.write( "
\n" ); document.write( " \n" ); document.write( "
\n" );