[lojban-beginners] Re: du & mintu

[Jorge Llambías <jjllambias@gmail.com>]

On Fri, Apr 17, 2009 at 6:25 PM, Luke Bergen <lukeabergen@gmail.com> wrote:

[la'a la .tcan. la .en. cu ja'a mintu su'o da gi'e ku'i na mintu ro de]

> "probably chan and en (interesting names) are indeed the same in at least some way but not in every other way".

Not really "other": they are the same in some way but not in every way.

> If you've used "da" earlier does "ro de" have "da" as part of that?  Is "da"
> included in "ro de"?

In predicate logic notation it would be:

   Ex:M(t,e,x) & ~Ay:M(t,e,y)

The two variables are independently bound. There is some x such that t
and e are the same by that x, but it is not the case that for each y,
t and e are the same by y.

Ay:~M(t,e,y) would be contradictory with the first part, but
~Ay:M(t,e,y) is not.

mu'o mi'e xorxes