document.write( "Question 1010731: INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
\n" ); document.write( "1. (A & U) < > ~R
\n" ); document.write( "2. ~(~R v ~A)
\n" ); document.write( " / ~U \n" ); document.write( "

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

You can put this solution on YOUR website!
INSTRUCTIONS: Construct a regular proof to derive the conclusion of the following argument:
\n" ); document.write( "

\r\n" );
document.write( " 1. (A & U) < > ~R \r\n" );
document.write( " 2. ~(~R v ~A)         \r\n" );
document.write( "    / ~U\r\n" );
document.write( "\r\n" );
document.write( " 3. ~~R & ~~A                        2, DeMorgan's theorem\r\n" );
document.write( " 4. R & A                            3, Double negation\r\n" );
document.write( " 5. R                                4, Simplification\r\n" );
document.write( " 6. [(A & U) > ~R] & [~R > (A & U)]  1, Material equivalence\r\n" );
document.write( " 7. (A & U) > ~R                     6, Simplification\r\n" );
document.write( " 8. ~~R > ~(A & U)                   7, Transposition\r\n" );
document.write( " 9. R > ~(A & U)                     8, Double negation\r\n" );
document.write( "10. ~(A & U)                         9,5 Modus ponens\r\n" );
document.write( "11. ~A v ~U                          10, DeMorgan's theorem\r\n" );
document.write( "12. A & R                            4, Commutation\r\n" );
document.write( "13. A                                12, Simplification\r\n" );
document.write( "14. ~~A                              13, Double negation\r\n" );
document.write( "15. ~U                               11,14 Disjunctive syllogism    \r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );