Re: [lojban] Ambiguity resolution

[Daniel Brockman <dbrockman@gmail.com>]

> 'some' is analogous to an existential quantifier in English and 'every' is
> analogous to a universal quantifier. When you use both in the same sentence,
> it matters which one you 'consider' first. My question is, how does Lojban
> resolve this issue and how would you state sentence 1 and sentence 2?

The easiest way is using an explicit prenex:

i ro da poi samselpla zo'u su'o samselpla cu jdice lo du'u xu kau da to'e cfari
For every program X, there is a program that decides whether X finishes.

i su'o da poi samselpla ro de poi samselpla zo'u da jdice lo du'u xu
kau de to'e cfari
There is a program X such that for every program Y, X decides whether
Y finishes.

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.