## Ascii and Logic

Philosophical, mathematical and computational logic, linguistics, formal argument, game theory, fallacies, paradoxes, puzzles and other related issues.

### Ascii and Logic

For all those budding logicians,
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: $\neg$
[Material conditional] (i.e. the horse shoe) ->, => ; In TeX: $\rightarrow \Rightarrow$
[Or] V, v, |, \/; In TeX: $\vee$
[And] &, &&, ^, /\; In TeX: $\wedge$
[If and only If] iff, , ; In Tex: $\Leftrightarrow \leftrightarrow$
[Universal Quantifier] Ax, Q*x; In TeX: $\forall x$
[Existential Quantifier] Ex; In TeX: $\exists x$
[There exists a unique] E!x, in TeX: $\exists ! x$

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
 $$\forall x \phi(x)$$
produces: $\forall x \phi(x)$.

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.
cougar

Occasionally, one needs to talk about proof theory and model theory in mathematical logic.

G |- p, G l- p are used in proof theory (that is, syntax) - they state "p may be deduced from G"
In $\LaTeX$ they look like: $G \vdash p$; the code for this is "G \vdash p"

|=M p, l=M p are used in formal semantics - they state "Structure M makes p true"

I'm personally irritated that the baby latex we use on this forum does a bad job with entailment. The code for this is ordinarily \models_M p; but that doesn't format correctly. I use $|=_M p$, where the code is "|=_M p"
xcthulhu

### Re: Ascii and Logic

Hello Cougar.
I read your entire post well I'm computer science student and I want to develop my logic by any type of exercise so if you have any idea send me.
Thanks.
thomasstuart

### Re: Ascii and Logic

Available commands are:
O/o # »Makes pin# Output Toggles H/L
B/b # »Makes pin# Output Toggles H/L main looping repeats
BB/bb # »Makes pin# Output Toggles H/L repeats till keypress
H/h # »Makes pin# Output as HIGH
L/l # »Makes pin# Output as LOW
I/i # »MakeInput pin#
II/ii »Makes ALL pinS as Input
HH/hh »Makes ALL pinS Output as HIGH
LL/ll »Makes ALL pinS Output as LOW
F/f # »MeasuresFreq pin# at .1sec
FREQALL # »MeasuresFreq Allpins time #ms
M/m # »Monitors 1 pin outs serial.bin[ina[pin],1]
> A B »Pipes outa[PinB#] := ina[PinA#]
FAST »Fast ScaninHex
SLOW »Slow ScaninBin
vegitaboss

### Re: Ascii and Logic

I'm personally irritated that the baby latex we use on this forum does a bad job with entailment. The code for this is ordinarily \models_M p; but that doesn't format correctly. I use , where the code is "|=_M p"
chlamydia

### Re: Ascii and Logic

I don't do latex. I'm working on my own equation editor in Pascal, so most of the latex language may as well be unix to me. It does appear to be a LisP type languge, though, and it gives me some ideas when I build classes to handle the equations in a pre-parser LisP driven sequence. Am I understanding that P is implied as an inherited class attribute, and that it is overloaded to include v, q et al?
Temporocitor

Return to Logic

### Who is online

Users browsing this forum: No registered users and 3 guests