1

enter image description here

Why the error. TeXStudio.

    \documentclass[12pt]{article}
\usepackage{pstricks}
%\usepackage{ot-tableau}
%\usepackage{ytableau}
\usepackage{forest}
\usepackage[tableaux]{prooftrees}

\begin{document}
%\maketitle
\begin{tableau}
    {
        line no sep = 1.5cm,
        just sep = 1.5cm, % Set separation of justification
        for tree = {s sep'=10mm},
        close with = \absurd
    }
    [((P \land Q) \lif R), just={Premiss}
    [\neg(P \lif (Q \lif R)), just={Negated conclusion}
    [P, just={From (2)}
    [\neg(Q \lif R), just={From (2)}
    [Q, just={From (4)}
    [\neg R, s sep=30mm, just={From (4)} %Note "s sep" to
    %spread fork below
    [\neg(P \land Q), just={Alternatives from (1)}
    [\neg P, close, just={Alternatives from (7)}
    ]
    [\neg Q, close
    ]
    ]
    [R, close]
    ]
    ]
    ]
    ]
    ]
    ]
\end{tableau}
\end{document} 
  • Welcome! Please provide the exact text of the error message. – cfr Aug 26 '17 at 14:00
  • You need to define \lif. EDIT: and \absurd. – cfr Aug 26 '17 at 14:01
  • The exact text of the error message is the title of the question – Bruce Long Aug 27 '17 at 0:17
  • No it isn't. The crucial part of the error message i.e. the name of the control sequence which is undefined is missing. Besides, it should be in the question and it should include the line number. It isn't \end{tableau} which is undefined. You've only reported a fragment of the message and that fragment doesn't include the key information provided. – cfr Aug 27 '17 at 0:47
  • Thanks @cfr! I just copied the error out of TeXStudio using its copy function – Bruce Long Aug 27 '17 at 1:29
1

You need to define (or avoid) \lif and \absurd. In the following, I define \lif and avoid \absurd.

\documentclass[12pt]{article}
\usepackage{pstricks}
%\usepackage{ot-tableau}
%\usepackage{ytableau}
\usepackage{forest}
\usepackage[tableaux]{prooftrees}
\newcommand*{\lif}{\ensuremath{\mathbin{\rightarrow}}}
\begin{document}
%\maketitle
\begin{tableau}
    {
        line no sep = 1.5cm,
        just sep = 1.5cm, % Set separation of justification
        for tree = {s sep'=10mm},
%         close with = \absurd
    }
    [((P \land Q) \lif R), just={Premiss}
    [\neg(P \lif (Q \lif R)), just={Negated conclusion}
    [P, just={From (2)}
    [\neg(Q \lif R), just={From (2)}
    [Q, just={From (4)}
    [\neg R, s sep=30mm, just={From (4)} %Note "s sep" to
    %spread fork below
    [\neg(P \land Q), just={Alternatives from (1)}
    [\neg P, close, just={Alternatives from (7)}
    ]
    [\neg Q, close
    ]
    ]
    [R, close]
    ]
    ]
    ]
    ]
    ]
    ]
\end{tableau}
\end{document}

tableau

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.