[lojban-beginners] Re: logical proofs?

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

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