El árbol con tikz se ve como debe verse, pero aún aparecen errores

Question

Recién comencé a aprender LaTeX y para hacerlo intenté crear un PDF de mi última tarea de lógica. Por lo tanto tuve que crear un árbol de resolución. Después de buscar en Google encontré algunos ejemplos de uso de tikz-trees en esta plataforma. Mi resultado es este:

\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}

Y esto se ve exactamente como quería que se viera, pero aun así todavía aparecen algunos errores y por razones de aprendizaje quería preguntarles cuáles son mis errores, porque esta vez funciona, pero tal vez cometa el mismo error. la próxima vez y ya no se compila.

Answer 1

Esto debería solucionar los problemas.

¿Qué he hecho?

• agregué señales faltantes $cuando fue necesario (agregué 3 de estos en total);
• evitó 'subíndices dobles', por ejemplo, si dice $x_i_1$que obtendrá un error; debe agrupar cosas: $x_{i_1}$, por ejemplo;
• eliminó los tabularentornos que no son necesarios si los agrega align=centerpara la imagen y eliminó los saltos de línea finales (solo por limpieza);
• Lo eliminé inputencsolo porque no estoy usando esa codificación en mi editor (pero recomiendo considerar usar utf8);
• Lo reemplacé amsmathcon mathtools- esto se carga amsmathmás algunas correcciones/mejoras.

Si ustedleer los errorescuando compilas, muchos de ellos te dicen cuál es el problema. No siempre, pero definitivamente en el caso de los $signos que faltan, por ejemplo.

\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}