document.write( "Question 1142575: Solve this proof below with formal proof these are all valid arguments. All premises are separated by commas.
\n" ); document.write( "~(P · ~Q) ∴ P ⊃ Q\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #763295 by Edwin McCravy(20055)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( " 1.  ~(P · ~Q)         ∴ P ⊃ Q\r\n" );
document.write( "\r\n" );
document.write( " 2.  ~P ∨ ~~Q          1, DeMorgan's law\r\n" );
document.write( " 3.  ~P ∨ Q            2, double negation\r\n" );
document.write( " 4.  P ⊃ Q             3, material implication \r\n" );
document.write( "\r\n" );
document.write( "Edwin
\n" ); document.write( "
\n" );