Re: [lojban] Re: {da poi} (was: Re: tersmu 0.2

[Jorge Llambías <jjllambias@gmail.com>]

On Sun, Sep 28, 2014 at 1:02 PM, Martin Bays <mbays@sdf.org> wrote:

So a {noi} on a variable yields a side claim entirely
outside the scope of the corresponding quantifier, so involving an
unbound variable, which I'm currently (fairly arbitrarily) handling by
universally quantifying it out over whatever domain it was originally
quantified over, so e.g. {du su'o da poi broda zi'e noi brode} -> {ro da
poi broda zo'u da brode .i su'o da poi broda zo'u du da}.

Should we allow for the possibility that "brode" is not distributive over the brodas? 

Something like:

   su'o da poi plini zi'e noi so'i so'i mei cu terdi 

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To unsubscribe from this group and stop receiving emails from it, send an email to lojban+unsubscribe@googlegroups.com.
To post to this group, send email to lojban@googlegroups.com.
Visit this group at http://groups.google.com/group/lojban.
For more options, visit https://groups.google.com/d/optout.