Mg Problem 18

18. (a) Proving commutativity and cancellation of addition.

Commutativity:
comm%20add.PNG
Cancellation:
can%20add.PNG

18. (b) Proving commutativity of multiplication, distribution of multiplication over addition, associativity of multiplication, and cancellation of multiplication.

Commucativity:
comm%20mult.PNG
Distribution:
dist%20mult.PNG
Associativity:
ass%20mult.PNG
Cancellation:
canc%20mult.PNG

Comments - Andrew Furash
These look fine, but you prove them in a weird order to avoid things you don't want to…

Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License