Baumdiagramm
Verfasst: Do 24. Sep 2009, 13:14
Hallo,
Aufgrund einer Ausarbeitung an der Uni habe ich mich entschlossen mich endlich mal mit Latex auseinanderzusetzen.
Und zwar schreibe ich an einer Zusammenfassung der Mathematischen Logik. Soweit hat alles auch gut geklappt, nun bin ich jedoch am Thema Resolution angelangt und stehe ein wenig auf dem Schlauch was die Darstellung an geht. Ich habe vor den Resolutionsvorgang mit einem Diagramm zu verdeutlichen. Also ein auf dem Kopf stehendes Baumdiagramm in dem aus 2 Knoten ein Blatt folgt.
z.B.
{A,B} {-A,C}
\ /
{B,C}
Diese Form Soll das Diagramm haben. ich habe angefangen mit
\put(0,100){\makebox(0,15){ ... }}
und
\put(0,100){\line(1,-1){35}}
Das Diagramm zu zeichnen aber irgendwie macht mich das nicht glücklich.
Da ich noch nicht soviel erfahrung mit Latex habe wüsste ich gern wie man sowas ein ein Makro verpackt oder ob es gar fertige Packages oder Makrokollektionen gibt, die genau dieses Diagramm darstellen können. Bisher habe ich bei meiner Recherche nur die übliche Darstellung von Baumdiagrammen gefunden. ich habe auch schon einige Packages ausprobiert die aber nicht das gewünschte Ergebnis lieferten.
Besten Gruß und vielen Dank!
Aufgrund einer Ausarbeitung an der Uni habe ich mich entschlossen mich endlich mal mit Latex auseinanderzusetzen.
Und zwar schreibe ich an einer Zusammenfassung der Mathematischen Logik. Soweit hat alles auch gut geklappt, nun bin ich jedoch am Thema Resolution angelangt und stehe ein wenig auf dem Schlauch was die Darstellung an geht. Ich habe vor den Resolutionsvorgang mit einem Diagramm zu verdeutlichen. Also ein auf dem Kopf stehendes Baumdiagramm in dem aus 2 Knoten ein Blatt folgt.
z.B.
{A,B} {-A,C}
\ /
{B,C}
Diese Form Soll das Diagramm haben. ich habe angefangen mit
\put(0,100){\makebox(0,15){ ... }}
und
\put(0,100){\line(1,-1){35}}
Das Diagramm zu zeichnen aber irgendwie macht mich das nicht glücklich.
Da ich noch nicht soviel erfahrung mit Latex habe wüsste ich gern wie man sowas ein ein Makro verpackt oder ob es gar fertige Packages oder Makrokollektionen gibt, die genau dieses Diagramm darstellen können. Bisher habe ich bei meiner Recherche nur die übliche Darstellung von Baumdiagrammen gefunden. ich habe auch schon einige Packages ausprobiert die aber nicht das gewünschte Ergebnis lieferten.
Besten Gruß und vielen Dank!