What application are you guys using to write up the proofs for question 2? I'm using Microsoft Word and I'm finding it a challenge to do the assumption boxes. Can anyone recommend an easier way to draw them?
I've been using openoffice for all my courses, it's formula editor is excellent for maths & logic, but I don't know a nice way to do proof boxes. Just seems kludgy.
I noticed in the acknowledgment section of the textbook that the authors mention Paul Taylor's Latex package for proof boxes. I'm planning to try this, if I have the time. Has anyone used it? Do you know where it can be downloaded or does it come with latex?
I use Fitch 2.3 from the LPL software. It came with one of the previous Formal Logic modules.
What I do is after completing the proof I turn on the following options.
Darken proof lines
Text in Bold
Show Step Numbers.
Then I just printscreen it, edit it with Paint, save as JPEG then copy it into Word2003
I do the same with normal questions that require the characters from formal logic. This way I don't have to worry about UNISA unable to see the characters with their software.
@hideinlight your method has the added benefit that you know you have the correct solution
Just posting to say that I have Paul Taylor's proof boxes working. I'm using LyX, which is a word processor frontend for LaTeX, so you don't need to actually learn LaTeX, except for the proof boxes themselves, so it's just a few commands. Paul Taylor provides a pdf with examples of what the proof boxes look like and an explanation of how to use them: http://www.paultaylor.eu/proofs/boxuser.pdf
It's not a tutorial, so if anyone has any questions let me know.
Here is some added info for setting up LyX to use the proof boxes: http://osprey.unisa.ac.za/phorum/read.php?362,120230