document.write( "Question 1144033: Construct a formal proof of validity for the following argument\r
\n" ); document.write( "\n" ); document.write( "~B v [(C⊃D) · (E⊃D)]\r
\n" ); document.write( "\n" ); document.write( "B · (C v E)\r
\n" ); document.write( "\n" ); document.write( "Therefore, D \n" ); document.write( "

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

You can put this solution on YOUR website!
Construct a formal proof of validity for the following argument\r
\n" ); document.write( "\n" ); document.write( "~B v [(C⊃D) · (E⊃D)]\r
\n" ); document.write( "\n" ); document.write( "B · (C v E)\r
\n" ); document.write( "\n" ); document.write( "Therefore, D\r
\n" ); document.write( "\n" ); document.write( "


\n" );
document.write( "-------------------
\n" );
document.write( "NOTE: Using
\n" );
document.write( "  & for \"AND\" 
\n" );
document.write( "  v for \"OR\"
\n" );
document.write( "  --> for  \"implies\"
\n" );
document.write( "-------------------\r
\n" );
document.write( "\n" );
document.write( "1. ~B v ((C-->D) & (E-->D))  Premise
\n" );
document.write( "2. B & (C v E)               Premise
\n" );
document.write( "3. B                         2 Simplification (SIMP)
\n" );
document.write( "4. ((C-->D) & (E-->D))       3,1 Conditional Disjunction (CD)
\n" );
document.write( "5. C v E                     2 SIMP
\n" );
document.write( "6. :: C                      Conditional Proof (CP) assumption #1
\n" );
document.write( "7. :: D                      6,4 Modus Ponens (MP)
\n" );
document.write( "8. :: E                      CP assumption #2
\n" );
document.write( "9. :: D                      8,4 MP
\n" );
document.write( "10.:: (C V E) --> D          6-9 Proof by Cases (PBC)
\n" );
document.write( "11. D                        5,6-10  CP\r
\n" );
document.write( "\n" );
document.write( " \n" );
document.write( "

\n" );