> Is someone taking an introductory class in logic really going to buy > software unless it is mandatory (or purchased for them)? I'm sure I > wouldn't.
Agreed. The only students who would maybe purchase something like this are the motivated ones who are aiming at an academic career. In my experience (I am actually a mathematician), this is usually less than 10% of the crop, even in top research universities. At smaller colleges, it would be near 0. Now, if the professor strongly recommends the software that's another story, but as others pointed out you will then have to convince the professor first. I personally never taught formal logic, but I did teach an introductory analysis course in the UK, which was the first course where students would get acquainted with rigorous proofs. I personally found it much more effective to try to sharpen the student's intuition and common sense, rather than force into them yet another set of rules that they would just passively absorb and then regurgitate at the exam... Regards, Martin HairerSoft http://www.hairersoft.com/
