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

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 ﬁguring 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 LATEX, and if so, how does someone with no LATEX 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.

-
probably, using LaTeX is the best option; latex questions are discussed e.g. on tex.stackexchange.com (e.g. tex.stackexchange.com/questions/11/…), here it's offtopic – Grigory M Aug 9 '10 at 14:01
If you are just getting started, ask your professor/TA if they have any templates you can use. It will be much easier if you start off only concerning yourself with how to type mathematics correctly instead of also having to deal with style files and which packages to include. – Larry Wang Aug 9 '10 at 15:53
en.wikipedia.org/wiki/… – starblue Aug 9 '10 at 19:00
There is a bit of a learning curve when beginning to use $\LaTeX$. You might consider using something like LyX to begin with, until you get more comfortable with the various commands needed to typeset mathematics/symbolic logic. – arjafi Aug 3 '12 at 8:14

For "a mix of words and equations with symbols" I'd clearly recommend using latex. This is a good introduction.

-

I would concur with the suggestion that you should use LaTeX. I'm bothering with a separate answer to strongly discourage the use of MS Word with symbol fonts for logical notation. Before I learned LaTeX, I'd tried to write up logic in word processors (both Word and, later, OpenOffice). It was deeply frustrating when my documents got quite messed up when I moved from one computer to another and found myself working without the symbol fonts I had at my disposal when I wrote the documents. (Yes, there are ways around that problem, but it nevertheless seems worth the warning.)

-
Word 2007 (and 2010) contains a new way to enter an equation, it's not font-specific but it's also kinda annoying to use (lots of back and forth between the mouse and keyboard) – Ricket Aug 13 '10 at 11:30

GNU Emacs + AUCTeX works fine for me.

-

One variant, among many, is to use a GNU Emacs text editor with Org-mode extension, which is built-in in Emacs. Org-mode supports embedding LaTeX, thus you may write in an easy to learn and use markup language and only write LaTeX where you absolutely need them, without the need to learn LaTeX deeply.

-