Subject: [lojban] Re: importing ro

From: "And Rosta" <[email-masked]>
Date: Thu, 7 Nov 2002 01:59:04 -0000

Jordan:
> With a *nonimporting* ro,
> naku ro pavyseljirna != su'o pavyseljirna naku
> (and the book says this is equal) 

I don't understand this. 

Nonimporting:

It is not the case that everything is either not a unicorn or is
white.
=
There is something that is a unicorn and is not white.

-- they seem equivalent to me.

Importing:

It is not the case that (there is a unicorn and everything is either
not a unicorn or is white)
!=
There is something that is a unicorn and is not white.

-- they seem nonequivalent. The first is true if there are no unicorns,
and the second is false if there are no unicorns.

--And.