Der Baum mit Tikz sieht so aus, wie er aussehen soll, aber es treten immer noch Fehler auf

Question

Ich habe gerade angefangen, LaTeX zu lernen und habe dazu versucht, ein PDF meiner letzten Logikaufgabe zu erstellen. Dazu musste ich einen Resolutionsbaum erstellen. Nach einer Google-Suche habe ich einige Beispiele für die Verwendung von Tikz-Bäumen auf dieser Plattform gefunden. Mein Ergebnis ist folgendes:

\documentclass[12pt, a4paper]{article}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage[ansinew]{inputenc}
\usepackage[ngerman]{babel}
\usepackage{tikz}
\usepackage{pdflscape}
\usetikzlibrary{calc,fit,trees}

\begin{document}
        \begin{landscape}
        \begin{tikzpicture}[
          grow'=up,
          level 1/.style={sibling distance=16em},
          level 2/.style={sibling distance=15em},
          level 3/.style={sibling distance=15em},
          level 4/.style={sibling distance=12em}]
        \node (f) {$\Box$} 
        child { node (1l) {
            \begin{tabular}
            $\varphi_{T32}$ \\
            $Q(a, f(g(a)))$ \\
            \end{tabular}}
          child { node (2ll) {
            \begin{tabular}
            $\varphi_{T31}$ \\
            $Q(a, f(g(a))) \lor R(g(a), f(g(a)))$
            \end{tabular}}
                child {node (3lll) {
                    \begin{tabular}
                    $(\varphi_2)_{[x/a \text{, } y/f(g(a))]}$ \\
                    $Q(a, f(g(a))) \lor R(g(a), f(g(a))) \lor \lnot P(g(a))$ \\
                    \end{tabular}}}
                child {node (3llr) {
                    \begin{tabular}
                    $\varphi_{T1}$ \\
                    $P(g(a))$
                    \end{tabular}}
                    child { node(llrl) {
                        \begin{tabular}
                        $(\varphi_3)_{[x/f(a) \text{, } y/b]}$ \\
                        $Q(f(a),g(b)) \lor P(g(a))$ \\
                        \end{tabular}}}
                    child { node(llrr) {
                        \begin{tabular}
                        $\varphi_4$ \\
                        $\lnot Q(f(a),g(b)) \\
                        \end{tabular}}}}}
          child { node (2lr) {
            \begin{tabular}
            $\varphi_{T2}$ \\
            \lnot R(g(a), f(g(a))) \\
            \end{tabular}}
            child {node (3lrl) {
                \begin{tabular}
                $\varphi_{T1}$ \\
                $P(g(a))$
                \end{tabular}}}
            child {node (3lrr) {
                \begin{tabular}
                $\varphi_1_{[x/g(a)]}$ \\
                $\lnot R(g(a), f(g(a)) \lor \lnot P(g(a)))$ \\
                \end{tabular}}}}
        }
        child {node (1r) {\begin{tabular}
            $(\varphi_5)_{[y/a]}$ \\
            $\lnot Q(a, f(g(a)))$ \\
        \end{tabular}}};
        \end{tikzpicture}
        \end{landscape}
\end{document}

Und das sieht genauso aus, wie ich es wollte. Trotzdem tauchen immer noch einige Fehler auf und aus Lerngründen wollte ich euch fragen, was meine Fehler sind, denn dieses Mal funktioniert es, aber vielleicht mache ich beim nächsten Mal denselben Fehler und es kompiliert nicht mehr.

Answer 1

Dies sollte die Probleme beheben.

Was habe ich gemacht?

• fehlende Zeichen hinzugefügt $, wo erforderlich (ich habe insgesamt 3 davon hinzugefügt);
• Vermeiden Sie „doppelte Indizes“, z. B. wenn Sie sagen, dass $x_i_1$Sie einen Fehler erhalten, müssen Sie die Dinge gruppieren:, $x_{i_1}$zum Beispiel;
• die Umgebungen entfernt tabular, die nicht benötigt werden, wenn Sie sie align=centerfür das Bild hinzufügen, und die abschließenden Zeilenumbrüche entfernt (nur der Übersichtlichkeit halber);
• Ich habe es inputencnur entfernt, weil ich diese Kodierung in meinem Editor nicht verwende (ich rate jedoch dringend, die Verwendung in Betracht zu ziehen utf8);
• Ich habe es ersetzt amsmathdurch mathtools– dies lädt amsmathplus ein paar Korrekturen/Verbesserungen.

Wenn duLesen Sie die FehlerBeim Kompilieren sagen dir viele von ihnen, wo das Problem liegt. Nicht immer, aber auf jeden Fall $, zum Beispiel bei den fehlenden Zeichen.

\documentclass[12pt, a4paper]{article}
\usepackage{mathtools}
\usepackage{amssymb}
\usepackage{tikz}
\usepackage{pdflscape}
\usetikzlibrary{calc,fit,trees}

\begin{document}
        \begin{landscape}
        \begin{tikzpicture}[
          align=center,
          grow'=up,
          level 1/.style={sibling distance=16em},
          level 2/.style={sibling distance=15em},
          level 3/.style={sibling distance=15em},
          level 4/.style={sibling distance=12em}]
        \node (f) {$\Box$}
        child { node (1l) {
            $\varphi_{T32}$ \\
            $Q(a, f(g(a)))$
          }
          child { node (2ll) {
            $\varphi_{T31}$ \\
            $Q(a, f(g(a))) \lor R(g(a), f(g(a)))$
            }
                child {node (3lll) {
                     $(\varphi_2)_{[x/a \text{, } y/f(g(a))]}$ \\
                    $Q(a, f(g(a))) \lor R(g(a), f(g(a))) \lor \lnot P(g(a))$
                    }}
                child {node (3llr) {
                    $\varphi_{T1}$ \\
                    $P(g(a))$
                    }
                    child { node(llrl) {
                        $(\varphi_3)_{[x/f(a) \text{, } y/b]}$ \\
                        $Q(f(a),g(b)) \lor P(g(a))$
                        }}
                    child { node(llrr) {
                        $\varphi_4$ \\
                        $\lnot Q(f(a),g(b))$
                        }}}}
          child { node (2lr) {
            $\varphi_{T2}$ \\
            $\lnot R(g(a), f(g(a)))$
            }
            child {node (3lrl) {
                $\varphi_{T1}$ \\
                $P(g(a))$
                }}
            child {node (3lrr) {
                $\varphi_{1_{[x/g(a)]}}$ \\
                $\lnot R(g(a), f(g(a)) \lor \lnot P(g(a)))$
                }}}
        }
        child {node (1r) {
            $(\varphi_5)_{[y/a]}$ \\
            $\lnot Q(a, f(g(a)))$
        }}
    ;
        \end{tikzpicture}
        \end{landscape}
\end{document}