Take the 2-minute tour ×
TeX - LaTeX Stack Exchange is a question and answer site for users of TeX, LaTeX, ConTeXt, and related typesetting systems. It's 100% free, no registration required.

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

share|improve this question

1 Answer 1

up vote 5 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:

\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|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. –  dcmst Nov 26 '13 at 22:19

Your Answer

 
discard

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.