Integers and addition
foundations
ImportantTo do
Definition 1 (Integer (celé číslo)) Your words.
Definition 2 (Additive inverse (opačné číslo)) Your words.
Definition 3 (Commutativity (komutativita) and associativity (asociativita) of addition) Your words.
Theorem 1 (N3: uniqueness of the additive inverse) Your words.
Proof. Cover the book’s proof. Try 10–15 min first.
Theorem 2 (N4: minus minus a) Your words.
Proof. Cover the book’s proof. Try 10–15 min first.
Theorem 3 (N5: minus of a sum) Your words.
Proof. Cover the book’s proof. Try 10–15 min first.
TipIntuition
Your words.
Exercises
★ 22. Prove the cancellation law (zákon o krácení) for addition: if a + b = a + c, then b = c.
NoteSolution
Your words.
★ 23. Prove: if a + b = a, then b = 0.
NoteSolution
Your words.