document.write( "Question 1190083: Solve the following by using only the 18 rules of implication
\n" ); document.write( "and replacement to get: (H • U) ⊃ (S • D)\r
\n" ); document.write( "\n" ); document.write( "1. H ⊃ D
\n" ); document.write( "2. U ⊃ S\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

Algebra.Com's Answer #821771 by Edwin McCravy(20055) $\"\"$ $\"About$

You can put this solution on YOUR website!
Solve the following by using only the 18 rules of implication
\n" ); document.write( "and replacement to get: (H • U) ⊃ (S • D)
\n" ); document.write( "

\r\n" );
document.write( "   1. H ⊃ D\r\n" );
document.write( "   2. U ⊃ S\r\n" );
document.write( "\r\n" );
document.write( "   3. (H ⊃ D) • (U ⊃ S)                  1,2 Conjunction \r\n" );
document.write( "   3. [(H ∨ U) ⊃ D] • [(U ∨ H) ⊃ S]      2,  Addition\r\n" );
document.write( "   4. [~(H ∨ U) ∨ D] • [~(U ∨ H) ∨ S]    3, Material implication \r\n" );
document.write( "   5. [~(H ∨ U) ∨ D] • [~(H ∨ U) ∨ S]    4, Commutation\r\n" );
document.write( "   6. ~(H ∨ U) ∨ (D • S)                 5, Distribution \r\n" );
document.write( "   7. (H ∨ U) ⊃ (D • S)                  6, Material implication\r\n" );
document.write( "   8. (H • U) ⊃ (H ∨ U)                  Conjunction implies Disjunction\r\n" );
document.write( "   9. (H • U) ⊃ (D • S)                  8,7, Hypothetical syllogism \r\n" );
document.write( "  10. (H • U) ⊃ (S • D)                  9. Commutation\r\n" );
document.write( "\r\n" );
document.write( "Edwin

\r
\n" ); document.write( "\n" ); document.write( " \n" ); document.write( "

\n" );