Does exist a package for Lemmon style proof in Logic? something like: http://logik.phl.univie.ac.at/~chris/gateway/formular-uk-bau.html


1 Answer 1


There is a package which is not on CTAN but can be found at: http://phloxgroup.wordpress.com/2010/03/22/lemmon-style-natural-deduction-proofs-in-latex/ (for some reason¹, the author saved the file as a .doc file, just save as .sty file and it will work).

I haven't thoroughly tested the package, but you can do things like:

    \begin{ND}[Anothter Proof][ ][\awidth{the proof}][\rwidth{the proof}][.8\linewidth]
        \ndl{} {$a=a$} {$= $I}\label{1}
        \ndl{} {$\forall x\,x =x$ }{\ref{1},$\forall$I}\label{2}

(example taken from the manual)enter image description here

You may also want to take a look at the packages listed at: http://www.logicmatters.net/latex-for-logicians/ maybe you'll find something interesting


¹Actually, the reason is explained in the blog

  • Could I ask you how did you install the custom package on your pc? I'm trying to follow other answered question on this topic but I failed so far,thanks again Commented Nov 26, 2013 at 22:08
  • @alessandro I just put the .sty file in the same directory of the .tex file. If you want to install it system wide, you should copy the .sty file in ~/texmf/tex/latex/local/nd/ and then issue a texhash command. However the installation process depends on your OS (this works for Linux), see tex.stackexchange.com/a/1167/24483 for a more accurate explanation.
    – d-cmst
    Commented Nov 26, 2013 at 22:19

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .