document.write( "Question 1143701: Solve the following proof: 1. A -> B\r
\n" ); document.write( "\n" ); document.write( "2. B -> ~A\r
\n" ); document.write( "\n" ); document.write( "3. (A v D) v E\r
\n" ); document.write( "\n" ); document.write( "4. (D v E) -> F / F\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #764584 by math_helper(2461) $\"\"$ $\"About$

You can put this solution on YOUR website!

\n" ); document.write( "The proof can not be completed, as the premises lead to a contradiction.\r
\n" ); document.write( "\n" ); document.write( "


\n" );
document.write( "1. A -> B
\n" );
document.write( "2. B -> ~A
\n" );
document.write( "3. (A v D) v E
\n" );
document.write( "4. (D v E) -> F
\n" );
document.write( "5. :: A         Conditional Proof (CP) assumption
\n" );
document.write( "6. :: B         5,1 Modus Ponens (MP)
\n" );
document.write( "7. :: ~A        6,2 MP
\n" );
document.write( "8. :: A & ~A    5,7 Conjunction (CONJ), END OF PROOF (contradiction reached)
\n" );
document.write( " \n" );
document.write( "

\n" );