Reveja o vídeo abaixo sobre o Axioma do Infinito e faça os exercícios a seguir para exercitar os seus conhecimentos.
Clique aqui para mudar os dados.
Clique aqui para voltar para a página inicial.
Sejam N, Z, Q e R os conjuntos dos naturais, inteiros, racionais e reais. Considere Sx o sucessor de x e F uma função genérica cujos domínio e contradomínio serão especificados quando necessários. Digite 1 se a afirmação for verdadeira, 0 se for falsa. A sua resposta será avaliada instantaneamente (cor verde acerto e cor vermelha erro). ∃x: x∈N⇒Sx∉N x∈N⇒Sx∈N R⊆F(Z) ∃F:Q→R injetora ∃F:Q→Z sobrejetora R⊆F(N) 0 : ∃x: x∈N⇒Sx∉N |