Documentos de Académico
Documentos de Profesional
Documentos de Cultura
i) ∪(A+ ) = A.
ii) A+ es transitivo.
iii) ∪A es transitivo.
i) h(0) = c.
ii) h(n+ ) = f (h(n)).
5) Sean x, y, u, v ∈ N. Demuestre:
i) (x = y + u ∧ y = x + v) ⇒ x = y.
ii) (x + u = y ∧ y + v = x+ ) ⇒ (u = 0 ∨ v = 0).
1) n ≤ m.
2) n ⊆ m.
3) n ∈ m ∨ n = m.
1
9) Sean m, n, p, q ∈ N tales que m + n = p + q. Demuestre que m < p si y sólo si q < n.
12) Sea n ∈ N. Demuestre que se cumple una única de las siguientes proposiciones.
i) n es par.
ii) n es impar.