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

Re: xor questions (was Re: indirect Qs (was Re: On logji lo



And:
>> > Cause me to know for each of {tea xor coffee} whether the pot
>> >  contains it.
>> >
>> >If you can't say that with {ma}, then you could do it with {ko}.
>>
>> I'm not sure I see how.
>
>Just translate "Cause me to know for each of {tea xor coffee}
>whether the pot contains it" into Lojban.

That's what I don't know how to do. "Each of {tea xor coffee}" is not
standard logic as far as I know, and I don't know how to express
it succintly in Lojban. If you express it into standard notation it would
be something like "Cause me to know for each of {tea; coffee}
whether the pot contains it, bearing in mind that the pot contains
one and only one of them". But that's kludgier than what I had:

 >>         ta vasru lo tcati onai lo ckafi i xu go'i lo tcati
>>         That contains either tea xor cofee. Is it tea?
>
>Yes. But it's kludgey....

co'o mi'e xorxes