RE: [lojban] za'e "postnex"

[Robert LeChevalier <lojbab@lojban.org>]

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



To unsubscribe, send mail to lojban-unsubscribe@onelist.com 

Your use of Yahoo! Groups is subject to http://docs.yahoo.com/info/terms/