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