Escolar Documentos
Profissional Documentos
Cultura Documentos
COMPONENTES:
LUIS CARLOS
ALTANIR
ELIOENAI
SALVADOR
FAUSTINO
Introdução;
Números Ordinais;
Adição, Multiplicação e Ordem;
Números Naturais e Contagem.
Introdução dos Números Naturais
Números naturais: modelo abstrato para contagem
𝑵 = 𝟏, 𝟐, 𝟑, … .
i) 𝑃(1) é válida;
Esta última igualdade diz que se sabemos somar p a todos os números naturais 𝑛,
sabemos também somar 𝑝 + 1: a soma (𝑛 + 𝑝) + 1 é simplesmente o sucessor de
𝑛 + 𝑝 . O axioma da indução garante que a soma 𝑛 + 𝑝 está definida para
quaisquer 𝑛, 𝑝 ∈ 𝑁. A adição de dois números naturais, 𝑚 e 𝑛, é designada por sua
soma 𝑚 + 𝑛 ∈ 𝑁 e definida recursivamente da seguinte forma:
❖ i) 𝑚 + 1 = 𝑠(𝑚 + 1)
❖ ii) 𝑚 + 𝑠(𝑛) = 𝑠(𝑚 + 𝑛)
2- (Comutativa): 𝑚 + 𝑛 = 𝑛 + 𝑚; ∀ 𝑚 𝑒 𝑛 ∈ 𝑁 .
3- (Lei do corte): 𝑚 + 𝑝 = 𝑛 + 𝑝 ⇒ 𝑚 = 𝑛; ∀ 𝑚, 𝑛 𝑒 𝑝 ∈ 𝑁 .
Supondo por absurdo que exista um 𝑝 ∈ 𝑁 tal que 𝑛 < 𝑝 < 𝑛 + 1 , com isso,
temos 𝑛 < 𝑝 𝑒 𝑝 < 𝑛 + 1, pela definição de ordem nos naturais temos 𝑟 e 𝑠 ∈
𝑁 tais que 𝑝 = 𝑛 + 𝑟 e 𝑛 + 1 = 𝑝 + 𝑠, com isso temos:
𝑛 + 1 = (𝑛 + 𝑟) + 𝑠 ⇒ 𝑛 + 1 = 𝑛 + (𝑟 + 𝑠) ⇒ 1 = 𝑟 + 𝑠.
➢ Absurdo pois, pela definição de adição, a soma de dois números naturais é
sempre o sucessor de algum número, logo não pode ser o 1, já que 1 ≠ s(n), ∀n
∈ ℕ. Portanto, não existe natural entre os naturais n e n+1, e fica claro que eles
são consecutivos.
Demonstração:
Temos as seguintes possibilidades a analisar: Seja 𝐴 ≠ ∅.
Sejam 𝑋 = {1} 𝑒 𝑦 = {1, 2}. Evidentemente não pode existir uma correspondência
biunívoca 𝑓 ∶ 𝑋 → 𝑌 , portanto X e Y não têm o mesmo número cardinal.