Definition 4.1.4 (Negation of integers). If \((a — b)\) is an integer, we define the negation \(−(a — b)\) to be the integer \((b — a)\). In particular if \(n = n — 0\) is a positive natural number, we can define its negation \(−n = 0 —n\).
Definition 4.1.4
-
Exercise 4.1.3
\(=\) { By Definition 4.1.1, \(a = b — c\) for some natural number \(b\) and \(c\); Definition 4.1.4 }
\(=\) { Definition 4.1.4 }
-
Exercise 4.1.2
\(\equiv\) { Definition 4.1.4 }