Fw: [lojban] Logic course

["G. Dyke" <gordon.dyke@bluewin.ch>]

----- Original Message ----- 
From: "G. Dyke" <gordon.dyke@bluewin.ch>
To: "Jorge Llambias" <jjllambias@hotmail.com>
Sent: Tuesday, March 19, 2002 8:45 PM
Subject: Re: [lojban] Logic course


> 
> > In my opinion, the lerfu pronouns, the ko'a/fo'a series, the
> > vo'a series, ri, ra, ru, all work just as much as bound
> > variables as da, de, di. The only differenvce is in how the
> > binding takes effect.
> 
> huh?
> 
> > >3){da zo'u li xy. du li da pi'i da}
> > 
> > What is xy here? A constant?
> 
> yep (statement that x is a square)
> 
> I'll have to look at your other versions.
> 
> Greg
>