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

Possible Duplicate:
What is the best package out there to typeset proof trees?

Is there some package to use in order to write nice natural deductions (logical deduction trees)?

Examples are appreciated!

Here are some examples of Natural deductions.

share|improve this question

marked as duplicate by Juan A. Navarro, Guido, Werner, Stefan Kottwitz Nov 23 '12 at 18:51

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

Examples of what you would like to do are also appreciated. Can you provide a link or an image? Is this question relevant? – Matthew Leingang Jan 17 '11 at 15:07
Please have a look at logicmatters.net/latex-for-logicians/nd – Yiannis Lazarides Jan 17 '11 at 15:13
@Yiannis could you make your comment an answer? – Seamus Jan 17 '11 at 15:16
@Yiannis: Lazarides: That is exactly what I look for, thanks! – AD. Jan 17 '11 at 15:23
@Matthew Leingang: Yes, that is the thing. Thanks. – AD. Jan 17 '11 at 15:25
up vote 6 down vote accepted

Please have a look at http://www.logicmatters.net/latex-for-logicians/nd/

share|improve this answer

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