Matemática Discreta. Primeira tarefa de avaliação. 28/03/2021.

Resolva por escrito os seguintes dois problemas. Depois digitalize as folhas escritas para enviá-las no
ambiente da Tarefa 1, até quarta-feira, 31 de março de 2021.
Capriche na redação e em detalhes, para valorizar sua escrita e raciocı́nio.
Endereço no ambiente ava para envio das soluções:
https://ava2.ead.ufscar.br/mod/assign/view.php?id=200711

1. (Leia com atenção pois grande parte do texto é apenas explicativa) Considere que na teoria
axiomática de Peano, são conceitos primitivos

• Um conjunto N chamado conjunto de números naturais.

• Um elemento 1 do conjunto N.
• Uma função f : N → N chamada função sucessor, que associa cada número natural n a um
número natural f(n) = n 0 , sendo n 0 chamado o sucessor de n.

Considere que os três axiomas do conjunto N (axiomas de Peano) são os seguintes:

A1 A função sucessor é injetora, isto é, sendo m e n naturais, se m 0 = n 0 então m = n.

A2 O número natural 1 não está na imagem da função sucessor, isto é, n 0 6= 1 para cada n ∈ N.
A3 Sendo X um subconjunto de N, se X satisfaz as duas condições
i. 1 ∈ X;
ii. Para cada n ∈ N, n ∈ X ⇒ n 0 ∈ X,
então X = N.
O problema proposto é o seguinte. Para cada um dos três axiomas de Peano, construa um
modelo abstrato de um conjunto N, que não satisfaz esse axioma mas satisfaz os dois outros
axiomas.
Observação 1: o modelo deve ter os mesmos conceitos primitivos da teoria axiomatica de
Peano. Observação 2: o modelo pode ser um conjunto finito.

2. Suponhamos que a cada número natural n está associada uma declaração Q(n) (que pode ser
verdadeira ou falsa, dependendo do valor de n).
Suponhamos também que

i. Q(1) e Q(2) são afirmações verdadeiras.

ii. Sendo n ∈ N, se Q(n) e Q(n + 1) são verdadeiras, então Q(n + 2) é verdadeira.

Usando o Princı́pio de indução finita, mostre que Q(n) é verdadeira para cada n ∈ N. Sugestão:
Considere a afirmação P(n): “Q(n) e Q(n + 1)”.