document.write( "Question 1112733: 1) A v B
\n" ); document.write( "2) B > (A v D)
\n" ); document.write( "3) ~D\r
\n" ); document.write( "\n" ); document.write( "Conclusion: A \n" ); document.write( "

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

You can put this solution on YOUR website!
1) A v B
\n" ); document.write( "2) B > (A v D)
\n" ); document.write( "3) ~D\r
\n" ); document.write( "\n" ); document.write( "Conclusion: A
\n" ); document.write( "========================
\n" ); document.write( "


\n" );
document.write( "1.  AvB     Premise   
\n" );
document.write( "2. B—>(AvD) Premise
\n" );
document.write( "3. ~D       Premise
\n" );
document.write( "4. :: B     Assumption, begin conditional proof (CP) - Case 1
\n" );
document.write( "5. :: AvD   4,2  Modus Ponens (MP)
\n" );
document.write( "6. :: A     3,5  Disjunctive Syllogism (DS)
\n" );
document.write( "7.  :: ~B   Assumption. Case 2
\n" );
document.write( "8. ::  A    7,1    DS
\n" );
document.write( "9. A        6,8   Proof By Cases (PBC), end of CP,  (A is true under no assumptions)\r
\n" );
document.write( "\n" );
document.write( " \n" );
document.write( "

\n" );