document.write( "Question 1154187: Solve the following proof:
\n" ); document.write( "
\n" ); document.write( "1. A⊃B
\n" ); document.write( "2. B⊃~A
\n" ); document.write( "3. (AvD)vE
\n" ); document.write( "4. (DvE)->F / F \n" ); document.write( "

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

You can put this solution on YOUR website!

1. A⊃B\r\n" );
document.write( "2. B⊃~A\r\n" );
document.write( "3. (AvD)vE\r\n" );
document.write( "4. (DvE)->F    / F \r\n" );
document.write( "5. Av(DvE)  3, association \r\n" );
document.write( "6. (DvE)vA  5, commutation\r\n" );
document.write( "                         |7.  ~F       Assumption for Indirect Proof\r\n" );
document.write( "                         |8.  ~(DvE)   4,7, Modus Tollens\r\n" );
document.write( "                         |9.  A        6,8, Disjunctive Syllogism \r\n" );
document.write( "                         |10. B        1,9, Modus Ponens\r\n" );
document.write( "                         |11. ~A      2,10, Modus Ponens\r\n" );
document.write( "                         |12. A&~A    9,11, Conjunction\r\n" );
document.write( "13. F       Lines 7-12             Indirect Proof\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\n" ); document.write( "

\n" );