Re: NULLs: theoretical problems?

Quoth V.J. Kumar:
> Jon Heggland wrote:
>

>> . You still have
>> the excluded middle problem that V. J. Kumar complains about.

No. You are not paying attention. def(x):(x or not x) is false for undefined x. But it /is/ equivalent to def(x):true, which is /also/ false for undefined x.

> Likewise, def(x) : (x or true) is also true
> for undefined x,

No. def(x):whatever is always false for undefined x.

> so your surmise about the two SQL statements being
> different may be totallly off mark !
>
> It quite possible I misunderstood Jan's 'def(x) :true'. Who knows ?
> He may still be willing to present a coherent account of his DEF logic
> instead of feeding me with his punchy and petulant one-liners.

I surmise he is bored and impatient, since you seem determined to misunderstand something he considers very simple. And I sympathise.

-- 
Jon