Date: Fri, 19 Dec 1997 19:52:05 -0500 (EST) Message-Id: <199712200052.TAA00668@locke.ccil.org> Reply-To: JORGE JOAQUIN LLAMBIAS Sender: Lojban list From: JORGE JOAQUIN LLAMBIAS Subject: Re: xor questions (was Re: indirect Qs (was Re: On logji lo X-To: lojban To: John Cowan Status: OR X-Mozilla-Status: 0011 Content-Length: 875 X-From-Space-Date: Fri Dec 19 19:52:06 1997 X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU 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