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.
- And let’s spread some further cheer this morning: https://t.co/1mUx9uSU7c, Nov 22
- Over 125 lucid(?) helpful(??) fun (???) posts on intro/intermediate logic for students listed at https://t.co/8BzsQyJzhO Spread the word!, Nov 22
- If you need cheering up this morning, this will hit the spot … https://t.co/UlZRLFypjP, Nov 22
- Now 125+ Logical Snippets at https://t.co/8BzsQyJzhO Answers to qns of interest to beginning/intermediate logic students. Spread the word!, Nov 21
- RT @I__Love__Italy: Venice https://t.co/EIGQrKe0JD, Nov 20