From rlpowell@digitalkingdom.org Mon Aug 23 12:20:05 2004
Received: with ECARTIS (v1.0.0; list lojban-beginners); Mon, 23 Aug 2004 12:20:06 -0700 (PDT)
Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.34)
	id 1BzKMP-0000gP-Np
	for lojban-beginners@chain.digitalkingdom.org; Mon, 23 Aug 2004 12:20:05 -0700
Date: Mon, 23 Aug 2004 12:20:05 -0700
To: lojban-beginners@chain.digitalkingdom.org
Subject: [lojban-beginners] Re: logical proofs?
Message-ID: <20040823192005.GU3257@chain.digitalkingdom.org>
References: <20040823183626.GM3257@chain.digitalkingdom.org> <20040823185624.23407.qmail@web41904.mail.yahoo.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
In-Reply-To: <20040823185624.23407.qmail@web41904.mail.yahoo.com>
User-Agent: Mutt/1.5.6+20040722i
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
X-archive-position: 725
X-Approved-By: rlpowell@digitalkingdom.org
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: rlpowell@digitalkingdom.org
Precedence: bulk
Reply-to: lojban-beginners@chain.digitalkingdom.org
X-list: lojban-beginners

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