document.write( "Question 1005915: Construct proofs to show the following are valid:\r
\n" ); document.write( "\n" ); document.write( "1. ~E
\n" ); document.write( "2. F->(DvE)
\n" ); document.write( "3. ~D :. ~F\r
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "ALSO\r
\n" ); document.write( "\n" ); document.write( "1. Z->(U*X)
\n" ); document.write( "2. ~[(U*W)]
\n" ); document.write( "3. W :. ~Z \n" ); document.write( "

Algebra.Com's Answer #622067 by Edwin McCravy(20054) $\"\"$ $\"About$

You can put this solution on YOUR website!
Construct proofs to show the following are valid:
\n" ); document.write( "

\r\n" );
document.write( "1. ~E\r\n" );
document.write( "2. F->(DvE)\r\n" );
document.write( "3. ~D                :. ~F\r\n" );
document.write( "\r\n" );
document.write( "4. ~D*~E             3,1, Conjunction\r\n" );
document.write( "5. ~(DvE)              4, DeMorgan\r\n" );
document.write( "6. ~(DvE)->~F          2, Transposition\r\n" );
document.write( "7. ~F                6,5, Modus ponens\r\n" );
document.write( " \r\n" );
document.write( "\r\n" );
document.write( "\r\n" );
document.write( "ALSO\r\n" );
document.write( "\r\n" );
document.write( " 1. Z->(U*X)\r\n" );
document.write( " 2. ~[(U*W)]\r\n" );
document.write( " 3. W                 :. ~Z\r\n" );
document.write( "\r\n" );
document.write( " 4. ~Uv~W               2, DeMorgan\r\n" );
document.write( " 5. ~Wv~U               4, commutativity\r\n" );
document.write( " 6. ~~W                 3, double negation\r\n" );
document.write( " 7. ~U                5,6, disjunctive syllogism\r\n" );
document.write( " 8. ~Uv~X               7, addition\r\n" );
document.write( " 9. ~(U*X)->~Z          1, transposition\r\n" );
document.write( "10. (~Uv~X)->~Z         9, DeMorgan\r\n" );
document.write( "11. ~Z               10,8, modus ponens\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );