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

[lojban] {zo'e} as close-scope existentially quantified plural variable



e.g. {zo'e broda ro da zo'e noi brode da} ->
\forall x. \exists X. \exists Y. (brode(Y, x) /\ broda(X, x, Y))

Generally, the quantifiers for the {zo'e}s would be inside any singular
quantifiers, and similarly inside any negation or tense quantification
etc.

Any problem with this? As far as I can see, it explains all common usage
of {zo'e} - and also of {lo} and {le} with their {zo'e (n|v)oi}
interpretations.

Martin

Attachment: pgp32FDidzAX4.pgp
Description: PGP signature