So, logic and ascii don't go well together. Here is a little translation guide:

[Note - driven by my crazy OCD, I pedantically edited this ~xcthulhu]

Logical Connectives (and company):

- [Not] !, ~; In TeX:

[Material conditional] (i.e. the horse shoe) ->, => ; In TeX:

[Or] V, v, |, \/; In TeX:

[And] &, &&, ^, /\; In TeX:

[If and only If] iff, , ; In Tex:

[Universal Quantifier] Ax, Q*x; In TeX:

[Existential Quantifier] Ex; In TeX:

[There exists a unique] E!x, in TeX:

And we switch between P,Q being sentences, and P, F as functions. Written as: Fx, or Fa, or F(x), or F(a).

x,y,z are use for variables, a,b,c are used for constants.

---------

Also, to use the TeX:

- Code: Select all
`[tex] \forall x \phi(x) [/tex]`

Here are some common symbols: http://omega.albany.edu:8008/Symbols.html

For (And) use: \wedge

For (Or) use: \vee

For (not) use: \neg

For Ax use: \forall x

For Ex use: \exists x

All the others should be on that list in the link.