Questao Thierry 22/6/2012

[Joao Meidanis]

Caro Thierry,

Questao interessante, mas acho que tanto B quanto D sao corretas.
Descarto.

--
Joao Meidanis IC-UNICAMP
Institute of Computing Av. Albert Einstein, 1251
University of Campinas, Brazil 13083-852, Campinas, Sao Paulo
http://www.ic.unicamp.br/~meidanis Brazil

[Thierry Moreira]

Nenhum grafo possui número de interseção (n²-n)/2. O livro fala em algum teorema que era chão de n²/4.

2012/6/23 Joao Meidanis <meid...@ic.unicamp.br>

--
Thierry P. Moreira

[Joao Meidanis]

Colega Thierry,

Boa observacao. Vamos trabalhar um pouco com logica. Um de nos dois pode
estar comentendo um engano.

Ok, entao nao existem grafos com numero de interseccao tao grande. Ate'
ai', concordamos. Entao sua alternativa D pode ser reescrita como:

Um grafo de n vertices e' intervalar se (FALSO)

pois concoradmos que afirmacao que vem apos o "se" e' sempre falsa.
Ou entao:

se (FALSO) entao G e' intervalar

Das minhas parcas aulas de logica eu me lembro ... parece que tinha uma
coisa que falava que FALSO implica em qualquer coisa. E', acho que e'
isto mesmo. Voce teve aulas de logica, colega Thierry? Lembra-se de
falarem algo sobre isto?

Bem, de acordo com o que eu me lembro, esta alternativa como um todo seria
verdadeira, apesar de (e justamente por) o antecedente ser falso. Voce
poderia ate' colocar

Um grafo de n vertices NAO e' intervalar se (FALSO)

que a alternativa continuaria correta. Veja la' seus apontamentos e me
diga, colega Thierry, se estou COMENBOL (abreviatura carinhosa para
COMENdo BOLa).

--Joao



On Sat, 23 Jun 2012, Thierry Moreira wrote:

> Nenhum grafo possui n�mero de interse��o (n�-n)/2.�O livro fala em algum
> teorema que era ch�o de n�/4.

[Thierry Moreira]

É verdade.

2012/6/24 Joao Meidanis <meid...@ic.unicamp.br>

Colega Thierry,

Boa observacao.  Vamos trabalhar um pouco com logica.  Um de nos dois pode estar comentendo um engano.

Ok, entao nao existem grafos com numero de interseccao tao grande.  Ate' ai', concordamos.  Entao sua alternativa D pode ser reescrita como:

Um grafo de n vertices e' intervalar se (FALSO)

pois concoradmos que afirmacao que vem apos o "se" e' sempre falsa.
Ou entao:

se (FALSO) entao G e' intervalar

Das minhas parcas aulas de logica eu me lembro ... parece que tinha uma coisa que falava que FALSO implica em qualquer coisa.  E', acho que e' isto mesmo.  Voce teve aulas de logica, colega Thierry?  Lembra-se de falarem algo sobre isto?

Bem, de acordo com o que eu me lembro, esta alternativa como um todo seria verdadeira, apesar de (e justamente por) o antecedente ser falso.  Voce poderia ate' colocar

Um grafo de n vertices NAO e' intervalar se (FALSO)

que a alternativa continuaria correta.  Veja la' seus apontamentos e me diga, colega Thierry, se estou COMENBOL (abreviatura carinhosa para COMENdo BOLa).

--Joao

On Sat, 23 Jun 2012, Thierry Moreira wrote:

Nenhum grafo possui número de interseção (n²-n)/2. O livro fala em algum
teorema que era chão de n²/4.

2012/6/23 Joao Meidanis <meid...@ic.unicamp.br>
     Caro Thierry,

     Questao interessante, mas acho que tanto B quanto D sao
     corretas. Descarto.

     --
     Joao Meidanis                              IC-UNICAMP
     Institute of Computing                     Av. Albert Einstein,
     1251
     University of Campinas, Brazil             13083-852, Campinas,
     Sao Paulo
     http://www.ic.unicamp.br/~meidanis         Brazil




--
Thierry P. Moreira

--
Joao Meidanis                              IC-UNICAMP
Institute of Computing                     Av. Albert Einstein, 1251
University of Campinas, Brazil             13083-852, Campinas, Sao Paulo
http://www.ic.unicamp.br/~meidanis         Brazil

--
Thierry P. Moreira