[lojban-beginners] Re: logical proofs?

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

On Mon, Aug 23, 2004 at 02:54:59PM -0400, Andrew Archibald wrote:
> 
> > > > If you'd like this a little more self-contained (you'll still
> > > > need to depend on some properties of multiplication, addition,
> > > > and ordering of the natural numbers) you can prepend the
> > > > definition of a prime number: a natural number (i.e., positive
> > > > integer) such that it can be written as a product of natural
> > > > numbers in exactly one way, as one times itself.  
> > > 
> > > 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.
> 
> Ah.  Forgive me; I must have been tired.  The definition I gave is not
> quite correct; 1 is not a prime number.  This may be better:
> 
> A prime number is a natural number greater than one not divisible by
> any natural number greater than one but less than itself. 

da poi mulna'usle cu ma'u zei mulna'e gi'e na mulpi'i de di .i je de .e
di vu'o poi mulna'e cu zmadu li pi gi'e mleca da

-Robin

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