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