Subject: RE: [lojban] za'e "postnex"

From: Robert LeChevalier <[email-masked]>
Date: Thu, 23 Jan 2003 00:10:10 -0500

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 [email-masked]
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