Re: bicondicional

["José Paulo Carneiro" <jpcarneiro@xxxxxxxxxxxxxxx>]

Isto eh falso!

-----Mensagem original-----
De: Mira <mira@mpcnet.com.br>
Para: obm-l@mat.puc-rio.br <obm-l@mat.puc-rio.br>
Data: Quarta-feira, 1 de Março de 2000 09:26
Assunto: bicondicional


>Ola, se alguem puder me ajudar...
>
>Bom, estou tentando entender o que acontece com a frase a seguir: (Sejam
A,B
>e C conjuntos)
>
>"A eh subconjunto de (C-B) se, e somente se A inter B eh vazio"
>
>Na ida deste bicondicional concluo que A eh subconjunto de C. Devo usar
essa
>conclusao para demonstrar a volta?
>A volta esta de alguma forma presa a ida? Ou ela eh independente? Pois,
>poderia escolher 3 conjuntos disjuntos e a volta nao seria verdadeira!
>Preciso demonstrar o "teorema" ( se eh que ele eh!).
>
>Bom,ja deu pra perceber que me perdi!
>
>Obrigado antecipadamente!
>
>Mira
>
>