[lojban-beginners] Re: Story time

[Jorge "Llambías" <jjllambias2000@yahoo.com.ar>]

--- 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