SOLUTION: Alright, I have access to rules: 1.Modus Ponens 2. Modus Tollens 3. Hypothetical Syllogism 4. Disjunctive Syllogism 5. Constructive dilemma 6. Simplification 7. conjunction 8.

Click here to see ALL problems on Proofs

Question 869967: Alright, I have access to rules:
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
Please help with this:
1. ~(X*Y)>Z
2. Z>Y
conclusion: Y
Answer by jim_thompson5910(35256) (Show Source):
You can put this solution on YOUR website!

1. ~(X * Y) > Z 2. Z > Y conclusion: Y ------------------------------------------------------- 3. ~~(X * Y) v Z 1 Material Implication 4. (X * Y) v Z 3 Double Negation 5. Z v (X * Y) 4 Commutation 6. (Z v X) * (Z v Y) 5 Distribution 7. (Z v Y) * (Z v X) 6 Commutation 8. Z v Y 7 Simplification 9. Y v Z 8 Commutation 10. ~~Y v Z 9 Double Negation 11. ~Y > Z 10 Material Implication 12. ~Y > Y 11,2 Hypothetical Syllogism 13. ~~Y v Y 12 Material Implication 14. Y v Y 13 Double Negation 15. Y 14 Tautology

Note: I'm used to the term "Material Implication" instead of just "Implication" but they're the same idea.