Me gustaría saber qué usan en LaTeX para escribir los árboles de derivaciones. Pensando un poco con lo que ya sé no se me ocurrió ninguna forma medianamente fácil de hacerlo. Cualquier ejemplo sirve.
Usamos el paquete proof, que se puede encontrar acá:
http://research.nii.ac.jp/~tatsuta/proof.sty
Acá hay un instructivo:
http://www.logicmatters.net/resources/ndexamples/proofsty.html
Además, el yoda tiene la posibilidad de exportar latex usando este paquete, así que se puede hacer la derivación ahí, y obtener el latex asociado al árbol de la derivación.
Saludos
Excelente, muchas gracias!