document.write( "Question 1119896: Premises:
\n" ); document.write( "1. A ⊃ X
\n" ); document.write( "2. X ⊃ (B ⊃ C)\r
\n" ); document.write( "\n" ); document.write( "Prove: (A • B) ⊃ C \n" ); document.write( "

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

You can put this solution on YOUR website!

\r
\n" );
document.write( "\n" );
document.write( "1.  A —> X           Premise
\n" );
document.write( "2. X —> (B —> C)     Premise
\n" );
document.write( "3.:: A & B           Conditional Proof (CP) assumption #1
\n" );
document.write( "4.:: A               3, AND Elimination (AE)
\n" );
document.write( "5.:: X               4,1 Modus Ponens (MP)
\n" );
document.write( "6.:: B —> C          5,2 MP
\n" );
document.write( "7.:: B               3, AE
\n" );
document.write( "8.:: C               7,6  MP
\n" );
document.write( "8. (A & B) —> C      3-8, CP
\r
\n" );
document.write( "\n" );
document.write( " \n" );
document.write( "

\n" );