From sentto-44114-2981-960559362-mark=kli.org@returns.onelist.com Fri Jun 09 14:00:28 2000 Return-Path: Delivered-To: shoulson-kli@meson.org Received: (qmail 11763 invoked from network); 9 Jun 2000 14:00:27 -0000 Received: from zash.lupine.org (205.186.156.18) by pi.meson.org with SMTP; 9 Jun 2000 14:00:27 -0000 Received: (qmail 21643 invoked by uid 40001); 9 Jun 2000 14:02:50 -0000 Delivered-To: kli-mark@kli.org Received: (qmail 21640 invoked from network); 9 Jun 2000 14:02:50 -0000 Received: from jj.egroups.com (208.50.144.82) by zash.lupine.org with SMTP; 9 Jun 2000 14:02:50 -0000 X-eGroups-Return: sentto-44114-2981-960559362-mark=kli.org@returns.onelist.com Received: from [10.1.10.38] by jj.egroups.com with NNFMP; 09 Jun 2000 14:02:46 -0000 Received: (qmail 22406 invoked from network); 9 Jun 2000 14:02:37 -0000 Received: from unknown (10.1.10.27) by m4.onelist.org with QMQP; 9 Jun 2000 14:02:37 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.84) by mta2 with SMTP; 9 Jun 2000 14:02:37 -0000 Received: (qmail 4659 invoked by uid 0); 9 Jun 2000 14:02:37 -0000 Message-ID: <20000609140237.4658.qmail@hotmail.com> Received: from 200.49.74.2 by www.hotmail.com with HTTP; Fri, 09 Jun 2000 07:02:36 PDT X-Originating-IP: [200.49.74.2] To: lojban@egroups.com From: "Jorge Llambias" MIME-Version: 1.0 Mailing-List: list lojban@egroups.com; contact lojban-owner@egroups.com Delivered-To: mailing list lojban@egroups.com Precedence: bulk List-Unsubscribe: Date: Fri, 09 Jun 2000 07:02:36 PDT Subject: Re: [lojban] Re: Robin on cmene Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: 7bit la aulun cusku di'e >la lojbab. cusku di'e > > pa lu'a la mixael ce la maikyl ce la maik,l ce la micael [lu'u] > > One from the individuals making up the set {la mx, la my, la m,l, >la mc} > >Fine, but *logically* is this construction really necessary? (The >.o-logic seems to be quite similar to 'or' in natural language: one >is allowed to endlessly add or-sumti.) But .o does not mean any 'or', it means 'iff' (if and only if). I thought you were saying that all four statements were equivalent, the same statement using different names to refer to the same person. If that is not what you meant, who are those four people you named? Exclusive 'or' is .onai, but multiple .onai are not equivalent to the {pa lu'a} construction. For example (A xor B) xor C, for true A, true B, true C gives true, which is not what you want. There is no easy connective construction to get the {pa lu'a} equivalent for more than two connectands. Very unintuitive, but that's how it works. co'o mi'e xorxes ________________________________________________________________________ Get Your Private, Free E-mail from MSN Hotmail at http://www.hotmail.com ------------------------------------------------------------------------ WRITERS WANTED! Themestream allows ALL writers to publish their articles on the Web, reach thousands of interested readers, and get paid in cash for their work. Click below: http://click.egroups.com/1/3840/3/_/17627/_/960559341/ ------------------------------------------------------------------------ To unsubscribe, send mail to lojban-unsubscribe@onelist.com