document.write( "Question 869967: Alright, I have access to rules:\r
\n" ); document.write( "\n" ); document.write( "1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism 4. Disjunctive Syllogism 5. Constructive dilemma 6. Simplification 7. conjunction 8. addition 9. demorgan 10. commutative 11. associative 12. Distribute 13. Double negate 14. transposition 15. Implication 16. equivalence 17. exportation 18. tautology\r
\n" ); document.write( "\n" ); document.write( "Please help with this:\r
\n" ); document.write( "\n" ); document.write( "1. ~(X*Y)>Z
\n" ); document.write( "2. Z>Y
\n" ); document.write( "conclusion: Y \n" ); document.write( "
Algebra.Com's Answer #524602 by jim_thompson5910(35256)\"\" \"About 
You can put this solution on YOUR website!
\r\n" );
document.write( "1.  ~(X * Y) > Z\r\n" );
document.write( "2.  Z > Y\r\n" );
document.write( "conclusion: Y\r\n" );
document.write( "-------------------------------------------------------\r\n" );
document.write( "3.  ~~(X * Y) v Z                         1          Material Implication       \r\n" );
document.write( "4.  (X * Y) v Z                           3          Double Negation        \r\n" );
document.write( "5.  Z v (X * Y)                           4          Commutation\r\n" );
document.write( "6.  (Z v X) * (Z v Y)                     5          Distribution\r\n" );
document.write( "7.  (Z v Y) * (Z v X)                     6          Commutation\r\n" );
document.write( "8.  Z v Y                                 7          Simplification\r\n" );
document.write( "9.  Y v Z                                 8          Commutation\r\n" );
document.write( "10. ~~Y v Z                               9          Double Negation\r\n" );
document.write( "11. ~Y > Z                                10         Material Implication  \r\n" );
document.write( "12. ~Y > Y                                11,2       Hypothetical Syllogism\r\n" );
document.write( "13. ~~Y v Y                               12         Material Implication \r\n" );
document.write( "14. Y v Y                                 13         Double Negation \r\n" );
document.write( "15. Y                                     14         Tautology\r\n" );
document.write( "
\r
\n" ); document.write( "
\n" ); document.write( "
\n" ); document.write( "\n" ); document.write( "Note: I'm used to the term \"Material Implication\" instead of just \"Implication\" but they're the same idea. \n" ); document.write( "
\n" );