Eu acho que faz sentido que seja verdadeiro...
Olha só, um exemplo mais matemático... se eu disser: "Todo quadrado perfeito
negativo é multiplo de 7", eu diria que a afirmação é verdadeira. Acho que
muitos concordariam que é verdadeira. É simples, é uma daquelas afirmações
verdadeiras por vacuidade... Se a hipótese é vazia, o teorema é verdadeiro.
De fato, todos os quadrados perfeitos negativos que eu conheço são multiplos
de 7... :D
Naturalmente, se eu disser então: "Se x é um quadrado perfeito negativo,
então x é multiplo de 7" (note o quão semelhante a minha afirmação e a sua
no primeiro email são), seria ilógico que essa fosse falsa... certo? afinal,
as duas afirmações são semanticamente iguais... (discutível isso? talvez...)
O que vcs acham?
2008/9/3 LEANDRO L RECOVA <[EMAIL PROTECTED]>
> No meu ponto de vista, se { } representasse o conjunto vazio eu
> consideraria falsa.
>
>
> From: "Luiz Rodrigues" <[EMAIL PROTECTED]>
>> Reply-To: obm-l@mat.puc-rio.br
>> To: obm-l@mat.puc-rio.br
>> Subject: [obm-l] Teoria dos Conjuntos
>> Date: Wed, 3 Sep 2008 14:00:02 -0300
>>
>>
>> Olá pessoal!!!
>> Tudo bem???
>> Um aluno me apresentou uma senteça que, segundo um outro professor, é
>> verdadeira.
>> A sentença é:
>>
>> "x pertence { } -> x é verde"
>>
>> Na minha opinião, esta sentença é falsa, porque "x pertence { }" é falsa.
>> Segundo o meu aluno, o que o outro professor alegou é que "x pode ser
>> qualquer coisa".
>> O que vocês acham???
>> Muito obrigado!!!
>> Abração para todos!!!
>> Luiz.
>>
>> =========================================================================
>> Instruções para entrar na lista, sair da lista e usar a lista em
>> http://www.mat.puc-rio.br/~obmlistas/obm-l.html<http://www.mat.puc-rio.br/%7Eobmlistas/obm-l.html>
>> =========================================================================
>>
>
>
> =========================================================================
> Instruções para entrar na lista, sair da lista e usar a lista em
> http://www.mat.puc-rio.br/~obmlistas/obm-l.html<http://www.mat.puc-rio.br/%7Eobmlistas/obm-l.html>
> =========================================================================
>
--
Rafael
