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). R⊆F(Z) ¬∃x: x∈N⇒Sx∉N ∃F:Q→Z sobrejetora ∃F:R→N injetora ∃x: x∈N⇒Sx∉N ∃F:Q→N injetora 0 : R⊆F(Z) |