Re: [obm-l] Conjunto

["Bruno França dos Reis" <bfreis@xxxxxxxxx>]

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