Return-Path: <@FINHUTC.HUT.FI:LOJBAN@CUVMB.BITNET> Received: from FINHUTC.hut.fi by xiron.pc.helsinki.fi with smtp (Linux Smail3.1.28.1 #1) id m0r5iky-00005XC; Fri, 11 Nov 94 01:18 EET Message-Id: Received: from FINHUTC.HUT.FI by FINHUTC.hut.fi (IBM VM SMTP V2R2) with BSMTP id 1873; Fri, 11 Nov 94 01:18:28 EET Received: from SEARN.SUNET.SE (NJE origin MAILER@SEARN) by FINHUTC.HUT.FI (LMail V1.1d/1.7f) with BSMTP id 1868; Fri, 11 Nov 1994 01:18:25 +0200 Received: from SEARN.SUNET.SE (NJE origin LISTSERV@SEARN) by SEARN.SUNET.SE (LMail V1.2a/1.8a) with BSMTP id 9193; Fri, 11 Nov 1994 00:15:14 +0100 Date: Thu, 10 Nov 1994 17:56:06 -0500 Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: wff, lo broda...le broda X-To: lojban@cuvmb.cc.columbia.edu To: Veijo Vilva Content-Length: 1368 Lines: 36 > la djer cusku di'e > > To me, su'o broda means " E(x) A " or E(x)P which is an > > 1 > > > > > > incomplete sentence, or not a wff. la xorxes. cusku di'e > I'm not sure what wff means, but you are right that {su'o broda} is not > a complete sentence. Same thing. "wff" means "well-formed formula", which is the logical analogue of "grammatical sentence" or "syntactically correct program". (In Lojban, we call things grammatical, and even sentences, although they are not full bridi.) > Someone (Iain?) said that > {le broda} will mean the at least one broda that satisfied whatever > was claimed for {lo broda}, but this is not very clear to me. It's an interpretation rule for a bare "le broda" in an environment where no "le broda" has appeared before. If there has been some previous "da" restricted to be "poi broda", then suppose that "le broda" is another way of saying this "da". More specifically, since (on your view) "lo broda" = "DA poi broda" for some anonymous DA, "le broda" provides a handle on this variable. Note that once a da-series variable, real or hidden, has been bound, further uses of it are +specific: da poi nolraitru cu cusku zo broda .i da cusku zo brode -- John Cowan sharing account for now e'osai ko sarji la lojban.