Re: LaTeX and FOL
- From: Chris Menzel <cmenzel@xxxxxxxxxxxxxxxxxxxx>
- Date: Wed, 30 Jan 2008 00:42:07 +0000 (UTC)
On Wed, 30 Jan 2008 00:10:42 +0100, G Frege <nomail@invalid> said:
On Tue, 29 Jan 2008 14:49:01 -0800 (PST), Zaljohar@xxxxxxxxx wrote:
I know how to wright the following in LaTeX.$\wedge$, $\vee$
...
4) and, or : I think they are left as they are.
Also $\land$ and $\lor$ ("logical and" and "logical or")
5) implication: if then$\rightarrow$
Also $\to$
7) negation: $\not$
$\not$ creates a slash through the next character, which doesn't seem to
be what the OP wants. For negation symbols you want $\neg$ or $\sim$.
TeX treats the latter, however, as a binary relation symbol rather than
an operator, so you often have to tweak the spacing with \! to get it
sufficiently close to the next symbol.
Does anybody now a free source on how to write first order logic with
identity and epsilon membership and 'is part of' in LaTeX.
Peter Smith has a very useful page -- LaTeX for Logicians -- with links
to lots of resources, both documentation and code:
http://www.phil.cam.ac.uk/teaching_staff/Smith/LaTeX
On windows try: MiKTeX. Installation is very easy. (I'd recommend
Version 2.6 for a starter.)
See: http:\\www.miktex.org
What makes you think you're talking to a poor benighted Windoze user? :-)
As an editor I'd recommend "WinEdt" (30 days trial period).
See: http://www.winedt.com/
Again, Windows only. Emacs (with the auctex package) is the editor most
people use for composing in LaTeX in the linux/unix world, and good
ports are available for both Windows and OS X.
.
- References:
- LaTeX and FOL
- From: Zaljohar
- Re: LaTeX and FOL
- From: G . Frege
- LaTeX and FOL
- Prev by Date: Re: LaTeX and FOL
- Next by Date: Re: Heap-Set Theory H-S
- Previous by thread: Re: LaTeX and FOL
- Next by thread: Hilbert is back..
- Index(es):
Relevant Pages
|
