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.

  • 4
    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
  • 7
    Please have a look at logicmatters.net/latex-for-logicians/nd – Yiannis Lazarides Jan 17 '11 at 15:13
  • 2
    @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

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

| improve this answer | |

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