Caros,
consegui uma solução satisfatória. Para registrar (se alguém tiver esse mesmo problema), usei o pacote xytree http://www.ctan.org/pkg/xytree [6] Código xytree{ xynode{1.} &&& xynode{$sim(square(psupset q)supset(square psupsetsquare q))$} &&& xynode{($n$)}& xynode{NTF}\ xynode{2.}&&& xynode{$square(psupset q)$}&&& xynode{($n$)}& xynode{1}\ xynode{3.} &&& xynode{$sim(square psupsetsquare q)$} &&& xynode{($n$)}&xynode{1}\ xynode{4.} &&& xynode{$square p$}&&& xynode{($n$)}&xynode{3}\ xynode{5.} &&& xynode{$simsquare q$}&&& xynode{($n$)}&xynode{3}\ xynode{6.} &&& xynode{$lozengesim q$}&&& xynode{($n$)}&xynode{5, MN}\ xynode{7.} &&& xynode{$sim q$}&&& xynode{($k$)}&xynode{6, $lozenge$S5}\ xynode{8.} &&& xynode{$p$}&&& xynode{($k$)}&xynode{4, $square$S5}\ xynode{9.} &&& xynode[-1,1]{$(psupset q)$}&&& xynode{($k$)}&xynode{2, $square$S5}\ xynode{10.} &&xynode{$sim p$}&xynode{($k$)} &xynode{$q$}&xynode{($k$)}& &xynode{2, $square$S5}\ xynode{} &&xynode{$times$}& &xynode{$times$}&& xynode{}&xynode{}\ } Imagem http://www.alessandroduarte.com.br/imagens/var/resizes/tableaux-435887478.png?m=1369336973 [7] As linhas estão muito "espaçadas", mas deve ter algum opcional que mude isso --- Alessandro Bandeira Duarte UFRRJ [8] www.alessandroduarte.com.br [9] http://grupofilosofiadamatematica.com.br [10] http://grupofilosofiadamatematica.com.br/forum/ [11] http://grupofilosofiadamatematica.com.br/wiki [12] www.alessandroduarte.com.br/latex_e_linux [13] (Usa GNU/Linux) "Colaborar atrai amigos, competir atrai inimigos …" On Thu, 23 May 2013 15:21:59 -0300, Tony Marmo wrote: > Jean-Yves, quero apontar o seguinte: o custo de traslado e hospedagem é > fundamental para todos, principalmente para quem não tem bolsa nem > financiamento. Ter uma cidade com infraestrutura é essencial, mas é preciso > que seja mais barata. Não dá para fazer no Acre, por exemplo, porque a > maioria dos estudantes de lógica não mora perto de lá e lá mesmo nada é > perto. Precisa ver isso: como as pessoas chegam lá e onde se hospedam e > comem e quanto isto custa, além de riscos de pegar dengue, ser assaltado, > não ter ônibus senão uma vez por semana, faltar farmácia se precisar de > remédio, etc. > > Em 23 de maio de 2013 13:16, jean-yves beziau escreveu: > >> Pedro, Julio e Tony Agradeço seus commentarios. Concordo que tem que ter boa infraestrutura e pessoas competentes no local do evento plenejado. Mas e importante de apontar que no Brasil nao tem so o eixo Rio-SP que e desenvolvido. Ja visitei 20 estados do Brasil + o DF (a antartica brasileira ainda nao). Fortaleza é uma cidade bem desenvolvida, tambem Natal, Florianopolis, Goiania, Brasilia, etc. Nao pode predominar a discrimanaco regional, em particular contre o nordeste. Tem logicos muito qualificados em varios lugares do Brasil em particular nas cidades mencionadas. Em Petropolis nao ha logicos em atividade: so tinha eu mesmo trabalhando no LNCC (onde foi organizado o EBL 2011), isso ha mais de 10 anos atras E verdade que o Doria tem um pequeno castelo em Petropolis, mas ele trabalha na UFRJ na ilha do fundao. JY _______________________________________________ Logica-l mailing list [email protected] [1] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [2] > > _______________________________________________ > Logica-l mailing list > [email protected] [4] > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [5] Links: ------ [1] mailto:[email protected] [2] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [3] mailto:[email protected] [4] mailto:[email protected] [5] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [6] http://www.ctan.org/pkg/xytree [7] http://www.alessandroduarte.com.br/imagens/var/resizes/tableaux-435887478.png?m=1369336973 [8] http://www.ufrrj.br [9] http://www.alessandroduarte.com.br [10] http://grupofilosofiadamatematica.com.br [11] http://grupofilosofiadamatematica.com.br/forum/ [12] http://grupofilosofiadamatematica.com.br/wiki [13] http://www.alessandroduarte.com.br _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
