ESCUELA COLOMBIANA DE INGENIERÍA JULIO GARAVITO

MATEMÁTICAS DISCRETAS
Taller
Aritmética aditiva
1. Demostrar los siguientes teoremas:

ˆ 15.16 a + c = b + c ≡ a = b
ˆ 15.18 a = b ≡ −a = −b
ˆ 15.23 a · (−b) = (−a) · b = −(a · b)
ˆ 15.25 a − 0 = a
ˆ 15.26 (a − b) + (c − d) = (a + c) − (b + d)
ˆ 15.29 a − b = c − d ≡ a + d = b + c
ˆ 15.38 a ≤ b ∧ b ≤ c ⇒ a ≤ c
ˆ 15.39 0 < c ⇒ (a · c < b · c ⇒ a < b)
ˆ 15.40 0 ≤ c ∧ a ≤ b ⇒ a · c ≤ b · c
ˆ 15.43 a ≤ b ∧ b ≤ a ≡ a = b
ˆ 15.44 a ≤ a