Assignment #1

Problem #1 Prove the additive commutative property of N: n, m N, n + m = m + n Lemma #1: n N, n + 0 = n. Proofby inductrion on n: P (0) : 0 + 0 = 0 since 0 + n = n, where n = 0, by denition. Assume P (n), that is: n N, n + 0 = n. We must show that n++ + 0 = n++ . n++ + 0 = (n + 0)++ (denition) = (n)++ (by inductive hypothesis) = n++ .