subject:"\[Logica\-l\] tableaux \+ latex"

Re: [Logica-l] tableaux + latex

2013-06-10 Por tôpico Joao Marcos

> Já participei dessa lista e saiu, por causa dessas querelas idiotas
> constantes. Vejo que continua a mesma coisa. Portanto, essa é minha
> última postagem.

É pena que você julgue assim, Alessandro.  Pessoalmente, não vi na
mensagem da Valeria toda a agressividade que você viu.  Talvez se
trate de um mal entendido? (abandonar irritadamente a conversa
certamente não ajuda a resolvê-la)

Este thread se tratou praticamente todo o tempo de um monólogo seu (eu
próprio gosto do assunto mas não participei por não ter entendido qual
era a pergunta que teria sido feita na sua primeira mensagem), e mesmo
assim não deixou de ser interessante: aprendemos com você sobre o
writelatex e sobre algumas opções para desenhar árvores em latex.
Obrigado por isso.

Abraços, e volte sempre,
Joao Marcos
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] tableaux + latex

2013-06-10 Por tôpico Alessandro Bandeira Duarte

Cara Valéria,

eu não sei de onde você tirou essa ideia de que estou roubando o
trabalho de alguém. Em nenhum momento disse isso. As postagens começaram
com a minha pergunta sobre algum pacote que fizesse árvores numeradas,
pois só conhecia o qtree e ela não fazia isso. Pesquisando, percebi que
é possível fazer isso com o xyPiC, que tem entre suas funções o xyTree.

A única coisa que fiz, tentando ser útil, foi INFORMAR que o xyPiC faz
numeração de árvores e coloquei o MEU código para aqueles que quisessem
dar uma olhada. Além disso, colocoquei a página de documentação do
pacote, tentando colaborar.

Depois, quis informar que o pacote xyPiC funciona com o texmaths. Quis
informar isso, porque, infelizmente, aqui no Brasil, muitas revistas não
aceitam .tex. Recentemente, tive que converter um artigo sobre a notação
de Frege em tex para doc e na conversão as fórmulas não apareciam. Então
usei o texmaths para introduzi-las. Assim, se alguém passar pelo mesmo
problema, pode tentar o texmaths.

Já participei dessa lista e saiu, por causa dessas querelas idiotas
constantes. Vejo que continua a mesma coisa. Portanto, essa é minha
última postagem.

Em 10-06-2013 11:12, Valeria de Paiva escreveu:
> oi Alessandro,
> uma perguntinha. ja' que o xytree 'e baseado no xypic qual a vantagem
> que voce ve em usar o sistema base e nao o derivado pra arvores? e uma
> sugestao, o seu exemplo devia ter o nome "Exemplo em XYpic " ou qq
> coisa assim, pois quem ve assim de passagem, fica parecendo que vc
> esta' dizendo que inventou o xypic, o que eu sei que vc nao esta'
> fazendo. mas na internet as coisas ficam pra sempre e da mesma forma
> que e' sempre importante adicionar o seu nome nas coisas que voce faz
> e bota na rede, tb 'e importante nao parecer que vc esta' tentando
> levar o credito de quem possui...de qq forma obrigada por mostrar esse
> writeLatex em acao. parece bem legal.
> abs
> Valeria
>
> On Sat, Jun 8, 2013 at 8:32 PM, Alessandro Bandeira Duarte
>  > wrote:
>
>
>
> Caros,
>
> O xypic funciona com texmaths [22] + libreoffice [23]
>
>
>
>
> -- 
> Valeria de Paiva
> http://www.cs.bham.ac.uk/~vdp/ 
> http://valeriadepaiva.org/ 

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] tableaux + latex

2013-06-10 Por tôpico Valeria de Paiva

oi Alessandro,
uma perguntinha. ja' que o xytree 'e baseado no xypic qual a vantagem que
voce ve em usar o sistema base e nao o derivado pra arvores? e uma
sugestao, o seu exemplo devia ter o nome "Exemplo em XYpic " ou qq coisa
assim, pois quem ve assim de passagem, fica parecendo que vc esta' dizendo
que inventou o xypic, o que eu sei que vc nao esta' fazendo. mas na
internet as coisas ficam pra sempre e da mesma forma que e' sempre
importante adicionar o seu nome nas coisas que voce faz e bota na rede, tb
'e importante nao parecer que vc esta' tentando levar o credito de quem
possui...de qq forma obrigada por mostrar esse writeLatex em acao. parece
bem legal.
abs
Valeria

On Sat, Jun 8, 2013 at 8:32 PM, Alessandro Bandeira Duarte <
dedekin...@alessandroduarte.com.br> wrote:

>
>
> Caros,
>
> O xypic funciona com texmaths [22] + libreoffice [23]
>
>
>
>
-- 
Valeria de Paiva
http://www.cs.bham.ac.uk/~vdp/
http://valeriadepaiva.org/
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] tableaux + latex

2013-06-10 Por tôpico Alessandro Bandeira Duarte

  

Caros, 

O xypic funciona com texmaths [22] + libreoffice [23]


http://www.alessandroduarte.com.br/imagens/var/albums/imagem2.png?m=1370748567
[24]


http://www.alessandroduarte.com.br/imagens/var/albums/imagem3-709850655.png?m=1370748642
[25] 

---

 Alessandro Bandeira Duarte
UFRRJ
[26]
www.alessandroduarte.com.br
[27]
http://grupofilosofiadamatematica.com.br
[28]

http://grupofilosofiadamatematica.com.br/forum/
[29]
http://grupofilosofiadamatematica.com.br/wiki
[30]
www.alessandroduarte.com.br/latex_e_linux [31]

(Usa
GNU/Linux)
"Colaborar atrai amigos, competir atrai inimigos …"

On Tue,
28 May 2013 19:42:25 -0300, Alessandro Bandeira Duarte wrote: 

> Caros,

> 
> segue o código completo: https://www.writelatex.com/201971gzmchf
[15] 
> 
> ---
> 
> Alessandro Bandeira Duarte
> UFRRJ [16]
>
www.alessandroduarte.com.br [17]
>
http://grupofilosofiadamatematica.com.br [18]
> 
>
http://grupofilosofiadamatematica.com.br/forum/ [19]
>
http://grupofilosofiadamatematica.com.br/wiki [20]
>
www.alessandroduarte.com.br/latex_e_linux [21]
> 
> (Usa GNU/Linux)
>
"Colaborar atrai amigos, competir atrai inimigos …"
> 
> On Tue, 28 May
2013 19:40:19 -0300, Alessandro Bandeira Duarte wrote: 
> 
>>
https://www.writelatex.com/201971gzmchf [4] [6] 
>> 
>> ---
>> 
>>
Alessandro
>> Bandeira Duarte
>> UFRRJ [7]
>>
www.alessandroduarte.com.br [5]
>> [8]
>>
http://grupofilosofiadamatematica.com.br [6]
>> [9]
>> 
>>
http://grupofilosofiadamatematica.com.br/forum/ [7]
>> [10]
>>
http://grupofilosofiadamatematica.com.br/wiki [8]
>> [11]
>>
www.alessandroduarte.com.br/latex_e_linux [9][12]
>> 
>> (Usa
>>
GNU/Linux)
>> "Colaborar atrai amigos, competir atrai inimigos …"
>> 
>>
On Mon,
>> 27 May 2013 19:50:30 -0300, Eduardo Ochs wrote:
>> 
>>> Oi
Alessandro!
>> 
>> Posso dar uma sugestao? =)
>> 
>>> Se voce incluir os
headers - como no
>> 
>> exemplo abaixo - acho que fica
>> [[]], Eduardo
documentclass{article} 
>> 
>> usepackage{xypic}
>> b}
begin{document}
>> .7pt@C=8pt{ 1. &&
>> 
>>> e>
>> -left: #1010ff 2px
solid; margin-left: 5px; width: 100%;">2. && (lozenge p&lozenge 
>> 
>>
q)&&&(n)&1
>> p;& simlozenge(p& q)&&&a
>> mp;1 4. && squaresim(p& 
>>

>> q)&&&(n)&3, MN
>> 5
>> 
>>> (n) & 2
>> ng-left: 5px; border-left:
#1010ff 2px solid; margin-left: 5px; width: 100%;">7. && p &&& (k) & 5,
lozenge mbox{
>> 
>>> style="padding-left: 5px; border-left: #1010ff 2px
solid; margin-left: 5px; width: 100%;">9.
>> im(p& q) &&& (k) &
4,squarembox{S}5 
>> 
>> 10. && sim(p& q)ar@{-}[dl]ar@{-}[dr] &&& (l) &
4,squarembox{S}5 ;">11. 
>>> 
>>> & sim p (k) & & sim q
(k)ar@{-}[ddl]ar@{-}[ddr] &
>> /pre> &
>> 
>>> er-left: #1010ff 2px
solid; margin-left: 5px; width: 100%;">12. & & sim p (l)& &sim q
>> p;
10 & & uparrow& ×&& Caros, falei do xytree, mas perc
>> 
>>> quo
>>
ding-left: 5px; border-left: #1010ff 2px solid; margin-left: 5px; width:
100%;"> modificar o espaçamento d
>> 
>>> left: #1010ff 2px sol
>> ft:
5px; width: 100%;"> te> 
>>> 
>>> código:
>> margin-left: 5px; width:
100%;"> ;1
>> 010ff 2px solid; margin-left: 5px; width: 100%;">3. &&
simlozenge(p& q)&&&(n)&&1 4. && squaresim(p& 0ff 2px solid; margin-left:
5px; width: 100%;">
>> lozenge p &&& (n) & 2 6. && lozenge q &&& 
>> 
>>
(n) & 2
>> 11.
>> /blockquote> 
>> 
>> & sim p (k) & & sim q
(k)ar@{-}[ddl]ar@{-}[ddr] &&& 9
>> 12. & & sim p (l)& &sim q (l) && 10 &
& uparrow& ×&& 
>> 
>> } 
>>> 
>>>
http://www.alessandroduarte.com.br/imagens/var/
>> png?m=1369687662[2]
Logica-l@dimap.ufrn.br [10] [3] 
>> 
>> http://www.dim>
org/applications/Xy-pic/">http://www.tug.org/applications/Xy-pic/ [2]
http://www.alessandroduarte.com.br/imagens/var/albums/xypic.p
>> 62 [3]
mailto:Logica-l@dimap.ufrn.br [11] [4]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [12] [5]
mailto:dedekin...@alessandroduarte.co
>> 
>>> [7] http://www.ufrrj.br
[1] [8] http://www.alessandroduarte.com.br [2] [9]
>>
om.br">http://grupofilosofiadamatematica.com.br [10]
http://grupofilosofiadamatematica.com.br/forum/ [13] [11]
http://grupofilosofiadamatematica.com.br/wiki [14] [12]
_ Logica-l mailing list Logica-l@dimap.ufrn.br
[3]
>>
.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l">http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

>> 
>>> 
>> 
>>> 
>> 
>>> 
>> 
>>> 
>> 
>>> 
 

Links:
--
[1]
http://www.ufrrj.br
[2] http://www.alessandroduarte.com.br
[3]
mailto:Logica-l@dimap.ufrn.br
[4]
https://www.writelatex.com/201971gzmchf
[5]
http://www.alessandroduarte.com.br
[6]
http://grupofilosofiadamatematica.com.br
[7]
http://grupofilosofiadamatematica.com.br/forum/
[8]
http://grupofilosofiadamatematica.com.br/wiki
[9]
http://www.alessandroduarte.com.br/latex_e_linux
[10]
mailto:Logica-l@dimap.ufrn.br
[11] mailto:Logica-l@dimap.ufrn.br
[12]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[13]
http://grupofilosofiadamatematica.com.br/forum/
[14]
http://grupofilosofiadamatematica.com.br/wiki
[15]
https://www.writelatex.com/201971gzmchf
[16] http://www.ufrrj.br
[17]
http://www

Re: [Logica-l] tableaux + latex

2013-05-28 Por tôpico Alessandro Bandeira Duarte

  

Caros, 

segue o código completo:
https://www.writelatex.com/201971gzmchf [14] 

---

 Alessandro Bandeira
Duarte
UFRRJ [15]
www.alessandroduarte.com.br
[16]
http://grupofilosofiadamatematica.com.br
[17]

http://grupofilosofiadamatematica.com.br/forum/
[18]
http://grupofilosofiadamatematica.com.br/wiki
[19]
www.alessandroduarte.com.br/latex_e_linux [20]

(Usa
GNU/Linux)
"Colaborar atrai amigos, competir atrai inimigos …"

On Tue,
28 May 2013 19:40:19 -0300, Alessandro Bandeira Duarte wrote: 

>
https://www.writelatex.com/201971gzmchf [3] [6] 
> 
> ---
> 
>
Alessandro
> Bandeira Duarte
> UFRRJ [7]
> www.alessandroduarte.com.br
[4]
> [8]
> http://grupofilosofiadamatematica.com.br [5]
> [9]
> 
>
http://grupofilosofiadamatematica.com.br/forum/ [6]
> [10]
>
http://grupofilosofiadamatematica.com.br/wiki [7]
> [11]
>
www.alessandroduarte.com.br/latex_e_linux [8][12]
> 
> (Usa
>
GNU/Linux)
> "Colaborar atrai amigos, competir atrai inimigos …"
> 
> On
Mon,
> 27 May 2013 19:50:30 -0300, Eduardo Ochs wrote:
> 
>> Oi
Alessandro!
> 
> Posso dar uma sugestao? =)
> 
>> Se voce incluir os
headers - como no
> 
> exemplo abaixo - acho que fica
> gin{document}

>> 
>> xym
> C=8pt{ 1. &&a
> 
>> 
> ; border-left:#1010ff 2px solid;
margin-left:5px; width:100%">2. && (lozenge p&lozenge 
> 
> q)&&&(n)&1
>

>> ">3. && simlozenge(p& q)&
> )&&1 4. && squaresim(p& 
> 
>
q)&&&(n)&3, MN
> idth:100%">11. 
>> 
>> & sim p (k) & & sim q
(k)ar@{-}[ddl]ar@{-}[dd
> & 9 12. & & sim p (l)&
> l) && 10 & & uparrow&
×&& Caros, falei do xyt
> 
>> 
> pe="cite" style="padding-left:5px;
border-left:#1010ff 2px solid; margin-left:5px; width:100%"> modificar o
e
> 
>> padding-left:5px; borde
> f 2px solid; margin-left:5px;
width:100%"> ;(n)&1
> px; border-left:#1010ff 2px solid;
margin-left:5px; width:100%">3. && simlozenge(p& q)&&&(n)&&1 4. &&
squaresim(p& 
> 
>> 2px solid; margin-left:5px; width:100%"> 5. &
> p
&&& (n) & 2 6. && lozenge q &&& 
> 
> (n) & 2
> 11.
> ote> 
> 
> & sim p
(k) & & sim q (k)ar@{-}[ddl]ar@{-}[ddr] &&& 9
> 
> -left:5px;
width:100%">12. & & sim p (l)& &sim q (l) && 10 & & uparrow& ×&& 
>

> } 
>> 
>>
http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=136968766
>>
Logica-l@dimap.ufrn.br [9] [3] 
> 
>
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/l>
rg/applications/Xy-pic/ [2]
http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662
[1] [3] mailto:
> map.ufrn.br">Logica-l@dimap.ufrn.br [4]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [10] [5]
mailto:dedekin...@alessandroduarte.com.br [11] [6] https://ww
> 
>>
ttp://www.alessandroduarte.com.br">http://www.alessandroduarte.com.br
[9] http://grupofilosofiadamatematica.com.br [2] [10]
>
ofiadamatematica.com.br/forum/">http://grupofilosofiadamatematica.com.br/forum/
[11] http://grupofilosofiadamatematica.com.br/wiki [12] [12]
http://www.alessandroduarte.com.br [13]

> 
>> a
href="http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l";>http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>

>> 
> 
>> 
> 
>> 
> 
>> 
> 
>> 
 

Links:
--
[1]
http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662
[2]
http://grupofilosofiadamatematica.com.br
[3]
https://www.writelatex.com/201971gzmchf
[4]
http://www.alessandroduarte.com.br
[5]
http://grupofilosofiadamatematica.com.br
[6]
http://grupofilosofiadamatematica.com.br/forum/
[7]
http://grupofilosofiadamatematica.com.br/wiki
[8]
http://www.alessandroduarte.com.br/latex_e_linux
[9]
mailto:Logica-l@dimap.ufrn.br
[10]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[11]
mailto:dedekin...@alessandroduarte.com.br
[12]
http://grupofilosofiadamatematica.com.br/wiki
[13]
http://www.alessandroduarte.com.br
[14]
https://www.writelatex.com/201971gzmchf
[15] http://www.ufrrj.br
[16]
http://www.alessandroduarte.com.br
[17]
http://grupofilosofiadamatematica.com.br
[18]
http://grupofilosofiadamatematica.com.br/forum/
[19]
http://grupofilosofiadamatematica.com.br/wiki
[20]
http://www.alessandroduarte.com.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] tableaux + latex

2013-05-28 Por tôpico Alessandro Bandeira Duarte

  

https://www.writelatex.com/201971gzmchf [6] 

---

 Alessandro
Bandeira Duarte
UFRRJ [7]
www.alessandroduarte.com.br
[8]
http://grupofilosofiadamatematica.com.br
[9]

http://grupofilosofiadamatematica.com.br/forum/
[10]
http://grupofilosofiadamatematica.com.br/wiki
[11]
www.alessandroduarte.com.br/latex_e_linux [12]

(Usa
GNU/Linux)
"Colaborar atrai amigos, competir atrai inimigos …"

On Mon,
27 May 2013 19:50:30 -0300, Eduardo Ochs wrote: 

> Oi Alessandro! 
>
Posso dar uma sugestao? =) 
> Se voce incluir os headers - como no
exemplo abaixo - acho que fica 
> bem mais facil as pessoas testarem o
seu codigo... 
> [[]], Eduardo 
> 
> documentclass{article} 
>
usepackage{xypic} 
> usepackage{amssymb} 
> begin{document} 
>
xymatrix@R=.7pt@C=8pt{ 
> 1. && sim((lozenge p&lozenge
q)supsetlozenge(p& q))&&&(n)&NTF\ 
> 2. && (lozenge p&lozenge
q)&&&(n)&1\ 
> 3. && simlozenge(p& q)&&&(n)&&1\ 
> 4. && squaresim(p&
q)&&&(n)&3, MN\ 
> 5. && lozenge p &&& (n) & 2\ 
> 6. && lozenge q &&&
(n) & 2\ 
> 7. && p &&& (k) & 5, lozenge mbox{S}5\ 
> 8. && q &&& (l) &
6, lozenge mbox{S}5\ 
> 9. && sim(p& q) &&& (k) & 4,squarembox{S}5\ 
>
10. && sim(p& q)ar@{-}[dl]ar@{-}[dr] &&& (l) & 4,squarembox{S}5\ 
> 11.
& sim p (k) & & sim q (k)ar@{-}[ddl]ar@{-}[ddr] &&& 9\ 
> & times & &
&&& \ 
> 12. & & sim p (l)& &sim q (l) && 10\ 
> & & uparrow& ×&& \

> } 
> end{document} 
> 
> On Mon, May 27, 2013 at 5:58 PM, Alessandro
Bandeira Duarte wrote:
> 
>> Caros,
>> 
>> falei do xytree, mas percebi
uma solução melhor: xypic, que permite
>> modificar o espaçamento das
células
>> 
>> http://www.tug.org/applications/Xy-pic/ [1]
>> 
>>
código:
>> 
>> xymatrix@R=.7pt@C=8pt{
>> 1. && sim((lozenge p&lozenge
q)supsetlozenge(p& q))&&&(n)&NTF\
>> 2. && (lozenge p&lozenge
q)&&&(n)&1\
>> 3. && simlozenge(p& q)&&&(n)&&1\
>> 4. && squaresim(p&
q)&&&(n)&3, MN\
>> 5. && lozenge p &&& (n) & 2\
>> 6. && lozenge q &&&
(n) & 2\
>> 7. && p &&& (k) & 5, lozenge mbox{S}5\
>> 8. && q &&& (l) &
6, lozenge mbox{S}5\
>> 9. && sim(p& q) &&& (k) & 4,squarembox{S}5\
>>
10. && sim(p& q)ar@{-}[dl]ar@{-}[dr] &&& (l) & 4,squarembox{S}5\
>> 11.
& sim p (k) & & sim q (k)ar@{-}[ddl]ar@{-}[ddr] &&& 9\
>> & times & &
&&& \
>> 12. & & sim p (l)& &sim q (l) && 10\
>> & & uparrow& ×&&
\
>> }
>> 
>>
http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662
[2]
>> 
>> ___
>> Logica-l
mailing list
>> Logica-l@dimap.ufrn.br [3]
>>
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [4]



Links:
--
[1] http://www.tug.org/applications/Xy-pic/
[2]
http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662
[3]
mailto:Logica-l@dimap.ufrn.br
[4]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[5]
mailto:dedekin...@alessandroduarte.com.br
[6]
https://www.writelatex.com/201971gzmchf
[7] http://www.ufrrj.br
[8]
http://www.alessandroduarte.com.br
[9]
http://grupofilosofiadamatematica.com.br
[10]
http://grupofilosofiadamatematica.com.br/forum/
[11]
http://grupofilosofiadamatematica.com.br/wiki
[12]
http://www.alessandroduarte.com.br
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] tableaux + latex

2013-05-27 Por tôpico Alessandro Bandeira Duarte

Eduardo,

bem lembrado.



Em 27-05-2013 19:50, Eduardo Ochs escreveu:
> Oi Alessandro!
> Posso dar uma sugestao? =)
> Se voce incluir os headers - como no exemplo abaixo - acho que fica
> bem mais facil as pessoas testarem o seu codigo...
>   [[]], Eduardo
>
>
> \documentclass{article}
> \usepackage{xypic}
> \usepackage{amssymb}
> \begin{document}
>
> \xymatrix@R=.7pt@C=8pt{
> 1. && \sim((\lozenge p\&\lozenge q)\supset\lozenge(p\& q))&&&(n)&NTF\\
> 2. && (\lozenge p\&\lozenge q)&&&(n)&1\\
> 3. && \sim\lozenge(p\& q)&&&(n)&&1\\
> 4. && \square\sim(p\& q)&&&(n)&3, MN\\
> 5. && \lozenge p &&& (n) & 2\\
> 6. && \lozenge q &&& (n) & 2\\
> 7. && p &&& (k) & 5, \lozenge \mbox{S}5\\
> 8. && q &&& (l) & 6, \lozenge \mbox{S}5\\
> 9. && \sim(p\& q) &&& (k) & 4,\square\mbox{S}5\\
> 10. && \sim(p\& q)\ar@{-}[dl]\ar@{-}[dr] &&& (l) & 4,\square\mbox{S}5\\
> 11. & \sim p\ (k) & & \sim q\ (k)\ar@{-}[ddl]\ar@{-}[ddr] &&& 9\\
>& \times & &  &&& \\
> 12. &  & \sim p\ (l)& &\sim q\ (l) && 10\\
>  &  & \uparrow&  &\times&& \\
> }
>
> \end{document}
>
>
>
> On Mon, May 27, 2013 at 5:58 PM, Alessandro Bandeira Duarte
>  > wrote:
>
> Caros,
>
> falei do xytree, mas percebi uma solução melhor: xypic, que permite
> modificar o espaçamento das células
>
> http://www.tug.org/applications/Xy-pic/
>
> código:
>
> \xymatrix@R=.7pt@C=8pt{
> 1. && \sim((\lozenge p\&\lozenge q)\supset\lozenge(p\& q))&&&(n)&NTF\\
> 2. && (\lozenge p\&\lozenge q)&&&(n)&1\\
> 3. && \sim\lozenge(p\& q)&&&(n)&&1\\
> 4. && \square\sim(p\& q)&&&(n)&3, MN\\
> 5. && \lozenge p &&& (n) & 2\\
> 6. && \lozenge q &&& (n) & 2\\
> 7. && p &&& (k) & 5, \lozenge \mbox{S}5\\
> 8. && q &&& (l) & 6, \lozenge \mbox{S}5\\
> 9. && \sim(p\& q) &&& (k) & 4,\square\mbox{S}5\\
> 10. && \sim(p\& q)\ar@{-}[dl]\ar@{-}[dr] &&& (l) &
> 4,\square\mbox{S}5\\
> 11. & \sim p\ (k) & & \sim q\ (k)\ar@{-}[ddl]\ar@{-}[ddr] &&& 9\\
>& \times & &  &&& \\
> 12. &  & \sim p\ (l)& &\sim q\ (l) && 10\\
>  &  & \uparrow&  &\times&& \\
> }
>
> 
> http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662
>
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br 
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
>

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] tableaux + latex

2013-05-27 Por tôpico Eduardo Ochs

Oi Alessandro!
Posso dar uma sugestao? =)
Se voce incluir os headers - como no exemplo abaixo - acho que fica
bem mais facil as pessoas testarem o seu codigo...
  [[]], Eduardo


\documentclass{article}
\usepackage{xypic}
\usepackage{amssymb}
\begin{document}

\xymatrix@R=.7pt@C=8pt{
1. && \sim((\lozenge p\&\lozenge q)\supset\lozenge(p\& q))&&&(n)&NTF\\
2. && (\lozenge p\&\lozenge q)&&&(n)&1\\
3. && \sim\lozenge(p\& q)&&&(n)&&1\\
4. && \square\sim(p\& q)&&&(n)&3, MN\\
5. && \lozenge p &&& (n) & 2\\
6. && \lozenge q &&& (n) & 2\\
7. && p &&& (k) & 5, \lozenge \mbox{S}5\\
8. && q &&& (l) & 6, \lozenge \mbox{S}5\\
9. && \sim(p\& q) &&& (k) & 4,\square\mbox{S}5\\
10. && \sim(p\& q)\ar@{-}[dl]\ar@{-}[dr] &&& (l) & 4,\square\mbox{S}5\\
11. & \sim p\ (k) & & \sim q\ (k)\ar@{-}[ddl]\ar@{-}[ddr] &&& 9\\
   & \times & &  &&& \\
12. &  & \sim p\ (l)& &\sim q\ (l) && 10\\
 &  & \uparrow&  &\times&& \\
}

\end{document}



On Mon, May 27, 2013 at 5:58 PM, Alessandro Bandeira Duarte <
dedekin...@alessandroduarte.com.br> wrote:

> Caros,
>
> falei do xytree, mas percebi uma solução melhor: xypic, que permite
> modificar o espaçamento das células
>
> http://www.tug.org/applications/Xy-pic/
>
> código:
>
> \xymatrix@R=.7pt@C=8pt{
> 1. && \sim((\lozenge p\&\lozenge q)\supset\lozenge(p\& q))&&&(n)&NTF\\
> 2. && (\lozenge p\&\lozenge q)&&&(n)&1\\
> 3. && \sim\lozenge(p\& q)&&&(n)&&1\\
> 4. && \square\sim(p\& q)&&&(n)&3, MN\\
> 5. && \lozenge p &&& (n) & 2\\
> 6. && \lozenge q &&& (n) & 2\\
> 7. && p &&& (k) & 5, \lozenge \mbox{S}5\\
> 8. && q &&& (l) & 6, \lozenge \mbox{S}5\\
> 9. && \sim(p\& q) &&& (k) & 4,\square\mbox{S}5\\
> 10. && \sim(p\& q)\ar@{-}[dl]\ar@{-}[dr] &&& (l) & 4,\square\mbox{S}5\\
> 11. & \sim p\ (k) & & \sim q\ (k)\ar@{-}[ddl]\ar@{-}[ddr] &&& 9\\
>& \times & &  &&& \\
> 12. &  & \sim p\ (l)& &\sim q\ (l) && 10\\
>  &  & \uparrow&  &\times&& \\
> }
>
>
> http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662
>
> ___
> Logica-l mailing list
> Logica-l@dimap.ufrn.br
> http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
>
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] tableaux + latex

2013-05-27 Por tôpico Alessandro Bandeira Duarte

Caros,

falei do xytree, mas percebi uma solução melhor: xypic, que permite
modificar o espaçamento das células

http://www.tug.org/applications/Xy-pic/

código:

\xymatrix@R=.7pt@C=8pt{
1. && \sim((\lozenge p\&\lozenge q)\supset\lozenge(p\& q))&&&(n)&NTF\\
2. && (\lozenge p\&\lozenge q)&&&(n)&1\\
3. && \sim\lozenge(p\& q)&&&(n)&&1\\
4. && \square\sim(p\& q)&&&(n)&3, MN\\
5. && \lozenge p &&& (n) & 2\\
6. && \lozenge q &&& (n) & 2\\
7. && p &&& (k) & 5, \lozenge \mbox{S}5\\
8. && q &&& (l) & 6, \lozenge \mbox{S}5\\
9. && \sim(p\& q) &&& (k) & 4,\square\mbox{S}5\\
10. && \sim(p\& q)\ar@{-}[dl]\ar@{-}[dr] &&& (l) & 4,\square\mbox{S}5\\
11. & \sim p\ (k) & & \sim q\ (k)\ar@{-}[ddl]\ar@{-}[ddr] &&& 9\\
   & \times & &  &&& \\
12. &  & \sim p\ (l)& &\sim q\ (l) && 10\\
 &  & \uparrow&  &\times&& \\
}

http://www.alessandroduarte.com.br/imagens/var/albums/xypic.png?m=1369687662

___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

[Logica-l] Tableaux + latex

2013-05-23 Por tôpico Alessandro Bandeira Duarte

  

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 Logica-l@dimap.ufrn.br [1]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [2]
> 
>
___
> Logica-l mailing
list
> Logica-l@dimap.ufrn.br [4]
>
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l [5]



Links:
--
[1] mailto:Logica-l@dimap.ufrn.br
[2]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
[3]
mailto:beziau...@gmail.com
[4] mailto:Logica-l@dimap.ufrn.br
[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
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Re: [Logica-l] tableaux + latex

Re: [Logica-l] tableaux + latex

Re: [Logica-l] tableaux + latex

Re: [Logica-l] tableaux + latex

Re: [Logica-l] tableaux + latex

Re: [Logica-l] tableaux + latex

Re: [Logica-l] tableaux + latex

Re: [Logica-l] tableaux + latex

Re: [Logica-l] tableaux + latex

[Logica-l] Tableaux + latex

10 matches

Site Navigation

Mail list logo

Footer information