Date:  Fri, 28 Nov 1997 04:49:25 -0500 (EST)
Message-Id: <199711280949.EAA20373@locke.ccil.org>
Reply-To: Logical Language Group <lojbab@ACCESS.DIGEX.NET>
Sender: Lojban list <LOJBAN@CUVMB.BITNET>
From: Logical Language Group <lojbab@ACCESS.DIGEX.NET>
Subject:      Re: What the *%$@ does "nu" mean?
X-To:         a.rosta@UCLAN.AC.UK
X-cc:         lojban@cuvmb.cc.columbia.edu
To: John Cowan <cowan@LOCKE.CCIL.ORG>
Status: OR
X-Mozilla-Status: 0011
Content-Length: 349
X-From-Space-Date: Fri Nov 28 04:49:44 1997
X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU

>> (and indeed mathematics requires
>--More--
>> it to have meaning since
>> "Let X be a number" requires da namcu.
>
>No. {da namcu} means "There is a number". "Let X be a number"
>would have a different translation in Lojban, e.g. {la x. namcu}.

I said it requires it, not that it translates it.
La x. namcu cannot be true if noda namcu.

lojbab