Date: Oct 27, 2009 2:39 AM
Author: Keith Ramsay
Subject: Re: intuitionism

On Oct 26, 9:16 am, nukeymusic <nukeymu...@gmail.com> wrote:
|Thanks for the hint, could you explain in words what the meaning is
of
|the leftmost symbol, I guess it is in fact the "not-version" of a
|symbol?

|= is a symbol used to mean "is a model of" as in "M |= X" or
is valid, and yes, the bar through it negates it. Hence
"p or not p is not valid".

Keith Ramsay