Ascii and Logic

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

Ascii and Logic

Postby cougar on February 15th, 2008, 11:53 pm 

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:
    [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]
produces: .

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.
User avatar
cougar
Member
 
Posts: 275
Joined: 17 Nov 2007


Postby xcthulhu on April 28th, 2008, 4:16 am 

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 they look like: ; 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 , where the code is "|=_M p"
User avatar
xcthulhu
Resident Member
 
Posts: 2218
Joined: 14 Dec 2006
Location: Cambridge, MA
Blog: View Blog (3)


Re: Ascii and Logic

Postby thomasstuart on November 24th, 2009, 1:18 pm 

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
Forum Neophyte
 
Posts: 1
Joined: 24 Nov 2009


Re: Ascii and Logic

Postby vegitaboss on October 2nd, 2011, 3:53 am 

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
Forum Neophyte
 
Posts: 1
Joined: 02 Oct 2011


Re: Ascii and Logic

Postby chlamydia on November 29th, 2011, 1:28 pm 

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
Forum Neophyte
 
Posts: 2
Joined: 29 Nov 2011


Re: Ascii and Logic

Postby Temporocitor on February 7th, 2012, 1:05 pm 

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?
User avatar
Temporocitor
Member
 
Posts: 185
Joined: 06 Feb 2012



Return to Logic

Who is online

Users browsing this forum: No registered users and 2 guests