Date: Sat, 20 Dec 1997 12:06:53 -0500 (EST) Message-Id: <199712201706.MAA22685@locke.ccil.org> Reply-To: Logical Language Group Sender: Lojban list From: Logical Language Group Subject: Re: xor questions (was Re: indirect Qs (was Re: On logji lo X-To: jorge@INTERMEDIA.COM.AR X-cc: lojban@cuvmb.cc.columbia.edu To: John Cowan Status: OR X-Mozilla-Status: 0011 Content-Length: 711 X-From-Space-Date: Sat Dec 20 12:06:54 1997 X-From-Space-Address: LOJBAN@CUVMB.CC.COLUMBIA.EDU >>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} >--More-- >whether the pot contains it, bearing in mind that the pot contains >one and only one of them". But you need not express it in standard notation. Lojban can express the indicated sentence using ro lu'i lo tcati .onai lo ckafi or more convenient to the issue ma po'u pa lu'i lo tcati ce lo ckafi cu se vasru lojbab