New answers tagged

1

To typeset the tree itself, you just need to load prooftrees in the preamble and define any special symbols required by the particular content of the tree. In this case \lif is non-standard and we need the turnstile package for the turnstile. So, \documentclass[border=10pt,tikz,multi]{standalone} \usepackage{prooftrees,turnstile} ...


1

This answer demonstrates how to use fitch to typeset the proof in the question, which puts the line numbers to the left of the line, and how to modify the nd environment so that the inference rules defined use the appropriate symbols for the logical connectives. By default, the package hard-codes these symbols and uses e.g. \wedge rather than the semantic ...


4

You were almost there. \documentclass{article} \usepackage{array,amsthm,amssymb,amsmath,enumitem} \newcounter{rowcount} \newenvironment{listproof} {\setcounter{rowcount}{0}% \begin{proof}\mbox{}\\* \begin{tabular}[b]{ @{% \stepcounter{rowcount}% % \makebox[\dimexpr\leftmargini-\labelsep][r]{(\alph{rowcount})}\hspace{\labelsep}} ...


3

You can put in-line proof trees into a center environment: \documentclass{article}% standalone doesn't support centering \usepackage{amsmath,amssymb,bussproofs} \newcommand{\necc}{\ensuremath{\mathbin{\Box}}} \begin{document} \begin{center} \AxiomC{$\phi_1\,\cdots\,\phi_n$} \RightLabel{$\qquad\implies\qquad$} \UnaryInfC{$\psi$} ...


0

Correcting the errors and substituting known commands for ones defined in different ways by packages-I-know-not-which-you're-using, you can try something like this: \documentclass{article} \usepackage{ND,amsmath} \makeatletter \newcommand{\indl}[3]{\settowidth\@NDlwtmp{\NDalist{#1}}\ifdim\@NDlwtmp > \@NDlwf \setlength\@NDlwf{\@NDlwtmp}\fi% ...



Top 50 recent answers are included