Costumo recorrer ao "xypic", que me parece razoavelmente fácil de usar.
Mais específico (nunca usei) para alguns objetivos é o pacote "diagram".

Sempre vale lembrar que muitos pacotes específicos para *Lógica* podem
ser encontrados a partir de:
http://www.phil.cam.ac.uk/teaching_staff/Smith/logicmatters/latexforlogician.html

JM

2009/5/30 Marcelo Finger <[email protected]>:
> Bruno.
>
> Para este tipo de coisa (e muitas outras) eu uso o pstricks
>
> []s
>
> Marcelo
>
> 2009/5/30 Bruno Woltzenlogel Paleo <[email protected]>
>>
>> Olá,
>>
>> Eu gostaria de poder escrever, em LaTeX, formulas com “links” ligando
>> algumas de suas subformulas atomicas.
>>
>> Por exemplo, eu quero escrever uma formula “(A and B) or (C and D)”  com
>> arcos acima ou abaixo da formula, conectando A com C e B com D...
>>
>> Alguem conhece algum pacote que me permitiria fazer isso da maneira mais
>> fácil possivel?
>>
>> Obrigado por qualquer sugestao!
>>
>> --------------------------------
>>
>> Bruno Woltzenlogel Paleo
>> Website: http://www.logic.at/people/bruno/

-- 
My homepage:
http://sequiturquodlibet.googlepages.com/
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a