Francesco_F” post=89543Un saluto a tutti. Vi scrivo per chiedervi aiuto: vorrei poter ottenere (in un documento beamer) diagrammi di inferenze logiche seguendo schemi simili al seguente:
imageshack.us/scaled/landing/823/o62x.png
Quale pacchetto/comandi dovrei adoperare? Tenete conto che i diagrammi prevedono anche linee diagonali.
Un ringraziamento anticipato a quanti vorranno rispondermi.
Il tipo di documento, presentazione o no, non ha moltissima rilevanza, a meno che tu non voglia creare un’animazione.
Io userei TikZ, ma forse sarebbe meglio tikz-cd (conta che non ho esperienza in materia). Poi, me sembra ci siano un certo numero di pacchetti alternativi:
http://tex.stackexchange.com/questions/468/what-is-the-best-package-out-there-to-typeset-proof-trees
Ciao
Claudio