From jjllambias2000@yahoo.com.ar Fri Mar 12 17:52:22 2004
Received: with ECARTIS (v1.0.0; list lojban-beginners); Fri, 12 Mar 2004 17:52:22 -0800 (PST)
Received: from web41904.mail.yahoo.com ([66.218.93.155])
	by chain.digitalkingdom.org with smtp (Exim 4.30)
	id 1B1yK6-0005gf-1p
	for lojban-beginners@chain.digitalkingdom.org; Fri, 12 Mar 2004 17:52:22 -0800
Message-ID: <20040313015151.44818.qmail@web41904.mail.yahoo.com>
Received: from [200.69.6.3] by web41904.mail.yahoo.com via HTTP; Fri, 12 Mar 2004 17:51:51 PST
Date: Fri, 12 Mar 2004 17:51:51 -0800 (PST)
From: Jorge "Llambías" <jjllambias2000@yahoo.com.ar>
Subject: [lojban-beginners] Re: Story time
To: lojban-beginners@chain.digitalkingdom.org
In-Reply-To: <20040313013209.GT11847@digitalkingdom.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-archive-position: 596
X-Approved-By: jjllambias2000@yahoo.com.ar
X-ecartis-version: Ecartis v1.0.0
Sender: lojban-beginners-bounce@chain.digitalkingdom.org
Errors-to: lojban-beginners-bounce@chain.digitalkingdom.org
X-original-sender: jjllambias2000@yahoo.com.ar
Precedence: bulk
Reply-to: lojban-beginners@chain.digitalkingdom.org
X-list: lojban-beginners


--- Robin Lee Powell <rlpowell@digitalkingdom.org> wrote:
> On Fri, Mar 12, 2004 at 03:31:49PM -0800, Jorge Llamb?as wrote:
>
> > There are zero x's such that there are zero y's such that x sees y 
> > In other words, no x is such that it sees no y's.
> > In other words, every x sees at least one y.
> 
> I'm pretty sure xorxes is right on this, although I'm not up for writing
> a proof at the moment.

The proof is easy. {noda} is equivalent to {naku su'oda}.
Then:
 
noda node viska
= naku su'oda naku su'ode viska
= (by DeMorgan's law) naku naku roda su'ode viska
= roda su'ode viska

mu'o mi'e xorxes


__________________________________
Do you Yahoo!?
Yahoo! Search - Find what you’re looking for faster
http://search.yahoo.com