Re: [lojban] xorlo and masses

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

On Fri, Aug 19, 2011 at 7:08 AM, Martin Bays <mbays@sdf.org> wrote:
> * Thursday, 2011-08-18 at 23:28 -0300 - Jorge Llambías <jjllambias@gmail.com>:
>> On Thu, Aug 18, 2011 at 9:25 PM, Martin Bays <mbays@sdf.org> wrote:
>> >
>> > A unary predicate P is 'distributive' iff
>> >    \forall x,y. ( ( x Part y /\ P(y) ) --> P(x) ).
>>
>> A predicate P is 'distributive with respect to Q' iff
>>  \forall x,y. ( ( Q(x) /\ x Part y /\ P(y) ) --> P(x) ).
>
> Do you mean that we could then talk not about global atoms but about
> "P-atoms", by which I mean the x which are minimal such that P(x)? And
> so have {re P cu broda} mean that two of the P-atoms broda?

Yes, but since we will still want to use the same word in different
contexts for the predicate that is distributive with respect to P and
the related predicate that is not distributive with respect to P (say
"bevri" with respect to "prenu") then we haven't advanced much with
all this.

mu'o mi'e xorxes

-- 
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.