From lojbab@lojban.org Wed Jan 22 21:09:48 2003 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 23 Jan 2003 05:09:47 -0000 Received: (qmail 50266 invoked from network); 23 Jan 2003 05:09:46 -0000 Received: from unknown (66.218.66.217) by m8.grp.scd.yahoo.com with QMQP; 23 Jan 2003 05:09:46 -0000 Received: from unknown (HELO lakemtao04.cox.net) (68.1.17.241) by mta2.grp.scd.yahoo.com with SMTP; 23 Jan 2003 05:09:46 -0000 Received: from lojban.lojban.org ([68.100.206.153]) by lakemtao04.cox.net (InterMail vM.5.01.04.05 201-253-122-122-105-20011231) with ESMTP id <20030123050947.SXVB22825.lakemtao04.cox.net@lojban.lojban.org> for ; Thu, 23 Jan 2003 00:09:47 -0500 Message-Id: <5.2.0.9.0.20030123000111.0344ec20@pop.east.cox.net> X-Sender: rlechevalier@pop.east.cox.net X-Mailer: QUALCOMM Windows Eudora Version 5.2.0.9 Date: Thu, 23 Jan 2003 00:10:10 -0500 To: "Lojban@Yahoogroups. Com" Subject: RE: [lojban] za'e "postnex" In-Reply-To: References: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: Robert LeChevalier X-Yahoo-Group-Post: member; u=1120595 X-Yahoo-Profile: lojbab At 03:41 AM 1/23/03 +0000, And Rosta wrote: >Martin Bays: > > Is there a nice way to quantify over variables "in afterthought"? > > > > It's the kind of thing you see in (informal) mathematics all the time - > > it's often natural to assume your variables are arbitrary when you write > > the main formula, and only afterwards think to put in the "for all x". So > > you might have, say "n[sub]i > 0 (all i in N)" > > > > So is there an elegant way to translate this kind of thing into lojban? > >Not in Standard Lojban. You just need to be creative. [text] .i ro ibu zo'u go'i/la'edi'u or [text with no .i on the end] vau to ro ibu zo'u There also may be a a way to do so with a sei metalinguistic predication, but that would not use prenex grammar lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org