TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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


share|improve this question
up vote 6 down vote accepted

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

share|improve this answer
Thanks I'll try with it – alessandro Nov 26 '13 at 16:51
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 – alessandro Nov 26 '13 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. – domenico Nov 26 '13 at 22:19

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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