[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

RE: [lojban] za'e "postnex"

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