SOLUTION: Proposition 1.8 If m is an integer, then (-m)+m=0 Proof Let m be an element of Z There exist a (-m) in an element Z Axiom 1.4 such that m+(-m)=0 m+(-m) = (-m)+m

Question 567801: Proposition 1.8
If m is an integer, then (-m)+m=0
Proof
Let m be an element of Z
There exist a (-m) in an element Z Axiom 1.4
such that m+(-m)=0
m+(-m) = (-m)+m Axiom 1.1(i)
= 0 Q.E.D
That's how I assume it is proven but it would be nice if someone could double check and make sure it is correct and also correct it. Thanks
Answer by richard1234(7193) (Show Source): You can put this solution on YOUR website!
Solution is correct, however instead of "Axiom 1.4" and "Axiom 1.1" you should use "identity element" and "commutativity" or something along those lines, because no one (other than those using your textbook) will know what Axioms 1.1 and 1.4 are.
RELATED QUESTIONS
1. Whenever we encounter a new proposition, it is a good idea to explore the proposition (answered by richard1234)

Prove : If m is an odd integer, then 4 divides m^2 +2m+5 I have gotten this so far but (answered by richard1234)

If m is an integer, for what value of m is 3^m <100< 3^m+1 ? a) 1 b) 2 c) 3 d)... (answered by Fombitz)

If m is an odd integer, what is the second consecutive even integer preceding m? a) m-4 (answered by richwmiller)

EXAMPLE: Theorem: For integers a, m, and n, if a | m and a | n, then a | (m+n).... (answered by richard1234)

Is G an element of the set M= {A, C,{H, G}, I, N}? A. yes B.... (answered by favegirl13)

if m is an integer such that 〖(-2)〗^2m =2^(9-m), then... (answered by LinnW)

m=3,(4,2) m=1/4,(-8,6) m=0,(-8,-7) Write an equation In Slope-Intercept in... (answered by MathLover1)

Consider the set Z of all Integers and an integer m > 1. For all integers x and y... (answered by solver91311)