[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [obm-l] Conjunto



Existem 2 tipos de afirmações a respeito de conjuntos: afirmações existenciais e afirmações universais.

Afirmções existenciais são aquelas do tipo:
Existe x pertencente a X tal que blablabla.

Afirmações universais são aquelas do tipo:
Para todo x pertencente a X, temos que blablabla.

Toda afirmação existencial a respeito do conjunto vazio é falsa (pq afinal de contas não tem ninguém no conjunto vazio para que possamos dizer: existe alguem no vazio tal que...).

Toda afirmação universal a respeito do conjunto vazio é verdadeira (pq não podemos tomar um contra-exemplo do conjunto vazio para contradizer a afirmação, já que não tem ninguem lá dentro).

A afirmação: vazio está contido em todo conjunto X é uma afirmação universal a respeito do conjunto vazio. Veja:

vazio contido em X  <==>  para todo "a" pertencente a vazio, a pertence a X. (pela definição de relação "está contido").


Deu pra entender? Qualquer coisa, pergunte!

Bruno


On 12/11/06, Bruna Carvalho <bruna.carvalho.pink@gmail.com> wrote:
Porque o conjunto Vazio está contido em todo conjunto ??
Não entendo isso.
--
Bjos,
Bruna



--
Bruno França dos Reis
email: bfreis - gmail.com
gpg-key: http://planeta.terra.com.br/informatica/brunoreis/brunoreis.key
icq: 12626000

e^(pi*i)+1=0