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

College begins in 1.5 weeks and also I'm taking a training course in Symbolic Logic. Below is a quote from the curriculum :

You require to maintain a note pad with all your research in it. This note pad can take either kinds. 1. A looseleaf (or some sort of removable/replaceable web page note pad ) or 2. A folder (also known as subdirectory ) on your computer system. The last is just advised for real techie that such as figuring out just how to collaborate with icons (e.g., ∃, ∀, ⊃, ⊢, →, ↔ ). I will occasionally accumulate research.

I would love to attempt and also do research on my computer system, so to see if I can do it, despite the fact that in the future I'll possibly get irritated and also simply make use of paper.

What do you advise for this sort of record? I think it'll be a mix of words and also formulas with the above icons. Exists an excellent unique program for this, or guidelines for doing this in MS Office 2010 or OpenOffice? Is this an excellent application for L A T E X, and also if so, just how does a person without L A T E X expertise (me ) find out adequate to do my research? Is it also worth the problem or should I simply stick to deadtree?

My key OS is Windows 7, if it makes a distinction.

0
2019-05-07 15:01:21
Source Share
Answers: 3

I would certainly accept the pointer that you need to make use of LaTeX. I'm troubling with a different response to highly inhibit making use of MS Word with icon typefaces for sensible symbols. Prior to I found out LaTeX, I would certainly attempted to write up logic in word processing program (both Word and also, later on, OpenOffice). It was deeply irritating when my records obtained fairly screwed up when I relocated from one computer system to an additional and also located myself functioning without the icon typefaces I contended my disposal when I created the records. (Yes, there are means around that trouble, yet it however appears worth the caution.)

0
2019-05-10 07:54:49
Source

For "a mix of words and also formulas with icons" I 'd plainly advise making use of latex. This is an excellent intro.

0
2019-05-09 10:57:55
Source

GNU Emacs + AUCTeX functions penalty for me.

0
2019-05-09 10:56:26
Source