From gordon.dyke@bluewin.ch Tue Mar 19 11:46:23 2002 Return-Path: X-Sender: gordon.dyke@bluewin.ch X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 19 Mar 2002 19:46:23 -0000 Received: (qmail 38858 invoked from network); 19 Mar 2002 19:46:23 -0000 Received: from unknown (66.218.66.216) by m5.grp.scd.yahoo.com with QMQP; 19 Mar 2002 19:46:23 -0000 Received: from unknown (HELO mta11n.bluewin.ch) (195.186.1.211) by mta1.grp.scd.yahoo.com with SMTP; 19 Mar 2002 19:46:23 -0000 Received: from oemcomputer (213.3.36.231) by mta11n.bluewin.ch (Bluewin AG 6.0.040) id 3C977F180000ABAF for lojban@yahoogroups.com; Tue, 19 Mar 2002 20:46:16 +0100 Message-ID: <004901c1cf7f$2cacc180$e72403d5@oemcomputer> To: "jboste" Subject: Fw: [lojban] Logic course Date: Tue, 19 Mar 2002 20:49:24 +0100 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-Mimeole: Produced By Microsoft MimeOLE V5.50.4133.2400 From: "G. Dyke" X-Yahoo-Group-Post: member; u=81437350 X-Yahoo-Profile: gregvdyke ----- Original Message ----- From: "G. Dyke" To: "Jorge Llambias" 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 >