Diagrammi ad albero per logica

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

Francesco_F” post=89560Grazie per il consiglio! In effetti, in parte ci sono riuscito seguendo il tuo suggerimento. Solo che la cosa funziona in ambiente Article, ma non in ambiente Beamer.

`\begin{tikzcd}[column sep=small]
& 3 \arrow{d} &2 \arrow{d} & 1+4+5 \arrow{d} \\
&8 \arrow{rd} &7 \arrow{d} &6 \arrow{ld} \\
& &9 \\
\end{tikzcd}`

Inserendo il codice in Beamer mi dà errore, mentre in Article no.

Si, è normale.

Vedi: http://www.guitex.org/home/it/forum/5-tex-e-latex/89482-risolto-tikz-matrix-con-beamer#89483, o se vuoi, su TeX.SX http://tex.stackexchange.com/q/125887/13304

Ciao
Claudio

Francesco_F” post=89562Ciao Claudio, grazie per la dritta: in riferimento al codice che ho postato, dove dovrei piazzare “ampersand replacement=\&”?

`
\documentclass{beamer}
\usepackage{lmodern}
\usepackage{tikz-cd}

\begin{document}
\begin{frame}{Titolo}
\begin{tikzcd}[ampersand replacement=\&]
A \arrow{rd} \arrow{r}{\phi} \& B \\
\& C \end{tikzcd}
\end{frame}
\end{document}
`
Ciao
Claudio

Potresti guardare anche il pacchetto forest, che si basa su tikz rendendo però assolutamente immediata la sintassi.