lemmon style proof for logic

1,465

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:

\documentclass{article}
\usepackage{nd3}
\begin{document}
    \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}
    \end{ND}
\end{document}

(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:
1,465

Related videos on Youtube

lalessandro
Author by

lalessandro

Updated on August 04, 2022

Comments

  • lalessandro
    lalessandro over 1 year

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

    thanks

  • lalessandro
    lalessandro almost 10 years
    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
  • Old Nick
    Old Nick almost 10 years
    @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.