[lojban-beginners] Re: logical proofs?

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

On Mon, Aug 23, 2004 at 11:56:24AM -0700, Jorge Llamb?as wrote:
> --- Robin Lee Powell wrote:
> > > i.e. "x1 is divisible by x2"
> > 
> > To me, "divisible" is more like fendi, but fair enough.
> 
> fendi has an agent, 

Right; so does "divisible"; it has something doing the dividing.

This is English's fault, though.

> it has little to do with numbers. Division of
> numbers is dilcu. 

So why not use that, then?

> > [prime definition]
> > > > da poi mulna'usle cei broda cu ma'u zei mulna'u gi'e mulna'u pilji
> > > > po'o pa da
> > > 
> > > Only "1" is mulna'u pilji pa da, all other primes have exactly two
> > > natural divisors.
> > 
> > Sorry, I meant "pa boi da".
> 
> {pa boi da} is the same as {pa da}. Did you mean {li pa da}? 

Err, sorry, yes.

> But every number, not just primes are pilji li pa da. 

That's what the po'o was for.

-Robin

-- 
http://www.digitalkingdom.org/~rlpowell/ *** http://www.lojban.org/
Reason #237 To Learn Lojban: "Homonyms: Their Grate!"