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
|the leftmost symbol, I guess it is in fact the "not-version" of a
|= 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".