document.write( "Question 193062: Construct Conditional Proofs\r
\n" ); document.write( "\n" ); document.write( "1. (A v B) → (C • D) / A → C
\n" ); document.write( " \n" ); document.write( "
Algebra.Com's Answer #144907 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1. (A v B) → (C • D) / A → C\r\n" );
document.write( "----------------------------\r\n" );
document.write( "2. A                              Assumption\r\n" );
document.write( "3. C • D                    1,2   Modus Ponens\r\n" );
document.write( "4. C                          3   Simplification \r\n" );
document.write( "5. A -> C                   2,4   Conditional Proof\r\n" );
document.write( "
\n" ); document.write( "
\n" );