Re: [lojban] Re: The Any thread

[robin <robin@bilkent.edu.tr>]

Jordan DeLong wrote:
> On Mon, Mar 03, 2003 at 06:25:46PM -0500, Craig wrote:
> [...]
>
> > > {lo} is not defined in traditional Lojban the way you want it.
> >
> > Yes it is.
>
>
> No it isn't.  mi nitcu lo mikce == Ex(Mx & Nmx).  

Sorry, but I don't understand that.  Can anyone put it into predicate 
logic for me?

There is no
> question that this is the definition given in CLL.  Traditional
> lojban == CLL.

In an odd way, I'm pleased that Lojban has grown and developed to the 
extent that people are now talking about "traditional lojban"!

robin.tr

--
"The raisins may be the best part of a cake, but that doesn't
mean that a bag of raisins is better than a cake."
- Wittgenstein

Robin Turner
IDMYO
Bilkent Univeritesi
Ankara 06533
Turkey

www.bilkent.edu.tr/~robin