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
