Reveja o vídeo abaixo sobre os Axiomas da EXTENSÃO e da ESPECIFICAÇÃO 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 A e B dois conjuntos bem definidos. Considere também x um conjunto bem definido que representará, em alguns casos, um elemento genérico dos conjuntos anteriores. 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∈B⇒x∈A)⇒(B⊆A) (A=B)⇒(x∈A⇒x∈B) (x∉A)⇔(x∈A) (B⊆A)⇒(A=B) (B⊆A)⇔(x∈B⇒x∈A) (x∈A)⇔(x∉A) 1 (x∈B⇒x∈A)⇒(B⊆A) |