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
