How to do homework for a class in Symbolic Logic on my computer?

manpreet Best Answer 2 years ago

School starts in 1.5 weeks and I'm taking a course in Symbolic Logic. Here is a quote from the syllabus:

You need to keep a notebook with all your homework in it. This notebook can take one of two forms. 1. A looseleaf (or some kind of removable/replaceable page notebook) or 2. A folder (aka subdirectory) on your computer. The latter is only recommended for true computer geeks who like figuring out how to work with symbols (e.g., ∃, ∀, ⊃, ⊢, →, ↔). I will periodically collect homework.

I would like to try and do homework on my computer, if only to see if I can do it, even though in the long run I'll probably get frustrated and just use paper.

What do you recommend for this type of document? I assume it'll be a mix of words and equations with the above symbols. Is there a good special program for this, or instructions for doing this in MS Office 2010 or OpenOffice? Is this a good application for L^AT_EX, and if so, how does someone with no L^AT_EX knowledge (me) learn enough to do my homework? Is it even worth the trouble or should I just stick with deadtree?

My primary OS is Windows 7, if it makes a difference.