From jjllambias2000@yahoo.com.ar Mon Aug 23 12:38:52 2004
Received: with ECARTIS (v1.0.0; list lojban-beginners); Mon, 23 Aug 2004 12:38:52 -0700 (PDT)
Received: from web41906.mail.yahoo.com ([66.218.93.157])
	by chain.digitalkingdom.org with smtp (Exim 4.34)
	id 1BzKea-00010S-DI
	for lojban-beginners@chain.digitalkingdom.org; Mon, 23 Aug 2004 12:38:52 -0700
Message-ID: <20040823193823.63208.qmail@web41906.mail.yahoo.com>
Received: from [200.49.74.2] by web41906.mail.yahoo.com via HTTP; Mon, 23 Aug 2004 12:38:23 PDT
Date: Mon, 23 Aug 2004 12:38:23 -0700 (PDT)
From: Jorge "Llambías" <jjllambias2000@yahoo.com.ar>
Subject: [lojban-beginners] Re: logical proofs?
To: lojban-beginners@chain.digitalkingdom.org
In-Reply-To: <20040823192005.GU3257@chain.digitalkingdom.org>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-archive-position: 726
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 wrote:
> >  Division of numbers is dilcu. 
> 
> So why not use that, then?

Because here we want "x1 is divisible by x2", not "x1 is the quotient
of dividing x2 by x3"

That could eventually be solved by rearranging places, but
{dilcu} has an x4 for the remainder, and "divisibility"
is about factorization in whole numbers, with no remainder.

On both counts {pilji} fits better with what we want, in spite 
of the keywords.

> > > [prime definition]
> > > > > da poi mulna'usle cei broda cu ma'u zei mulna'u gi'e mulna'u pilji
> > > > > po'o pa da
> 
> > But every number, not just primes are pilji li pa da. 
> 
> That's what the po'o was for.

You have po'o on pilji, meaning that multiplication is the
only relationship that exists between the prime, one and
something else. 

To do it with {po'o}, it would seem that you have to 
create a termset with li pa and da and attach po'o to that
termset. Very messy, assuming it's possible.

mu'o mi'e xorxes




		
__________________________________
Do you Yahoo!?
Yahoo! Mail - 50x more storage than other providers!
http://promotions.yahoo.com/new_mail