Maybe that’s an answer to some exercise for students, which is why you want a tree fully annotated with line numbers, justifications on the right, and justifications too for closing off branches. Previously, getting in all that detail using available LaTeX resources would have been tricky. Now help is at hand. There is a very nice new package prooftrees.sty which will enable you to generate that output easily. And, of course, generate simpler results too, without line numbers and/or justifications, if that’s what you want. The package seems very flexible and to provide, at last, the kind of purpose-built-for-logicians tool that we have needed for a long time. So all credit to Clea Rees for her work on this.
- OK — In Logic 101, what would *you* say about names and quantifiers in English vs FOL? https://t.co/Q7MgNPOpse, Feb 24
- RT @LewyLib: #OnThisDay in 1903, Frank Plumpton Ramsey, the Cambridge philosopher, mathematician and economist and close friend… https://t.co/k8LkiqjzCv, Feb 22
- Just a reminder, LaTeX (not just) For Logicians has its own direct url: https://t.co/OCO2zdDxpy Spread the word! #LaTeX #Tex, Feb 21
- The Pavel Haas Quartet and friends obviously not enjoying themselves at all https://t.co/k4zl4Cz10l, Feb 20
- RT @Scruton_Quotes: "When I think of Schubert's death, and lament that he did not live to the age of Mozart, I think of the love that h… https://t.co/C9i5vBgDXY, Feb 20