I'd like to draw a resolution tree for a research paper: similar to the following resolution proof which each node might have extra annotations inside brackets[].

I found some posts like this but I did not find it neat and compact.

I will appreciate if anyone can point me to a documentation, or give me a similar drawing template.

enter image description here

  • 1
    What have you tried so far? Please add a minimal working example (MWE) of your current code. – epR8GaYuh Oct 12 '19 at 10:36
  • I have no idea which latext environment is suitable to my goal, that's why I asked for recommendation. – SarA Oct 12 '19 at 10:44
  • Since this isn't formally a tree, it might be simplest to use the TikZ matrix of nodes (see the matrix library) construct and draw the arrows manually. Alternatively, perhaps the TikZ graph drawing (see the graphs library). – Alan Munn Oct 12 '19 at 19:21
  • You could type in the formulae for people to play with. I agree with @AlanMunn, though. It isn't a tree, so something flexible is needed. Definitely not one for prooftrees and not really for forest either. – cfr Oct 12 '19 at 23:23

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.