From a.rosta@dtn.ntl.com Fri Aug 17 23:25:59 2001
Return-Path: <a.rosta@dtn.ntl.com>
X-Sender: a.rosta@dtn.ntl.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-7_3_1); 18 Aug 2001 06:25:59 -0000
Received: (qmail 86023 invoked from network); 18 Aug 2001 06:25:58 -0000
Received: from unknown (10.1.10.26)
  by l9.egroups.com with QMQP; 18 Aug 2001 06:25:58 -0000
Received: from unknown (HELO mta05-svc.ntlworld.com) (62.253.162.45)
  by mta1 with SMTP; 18 Aug 2001 06:25:58 -0000
Received: from andrew ([62.255.41.57]) by mta05-svc.ntlworld.com
  (InterMail vM.4.01.03.00 201-229-121) with SMTP
  id <20010818062556.ELLB20588.mta05-svc.ntlworld.com@andrew>;
  Sat, 18 Aug 2001 07:25:56 +0100
Reply-To: <a.rosta@ntlworld.com>
To: "Robin Lee Powell" <rlpowell@digitalkingdom.org>,
  "Lojban@Yahoogroups. Com" <lojban@yahoogroups.com>
Subject: RE: [lojban] polyadic connectives
Date: Sat, 18 Aug 2001 07:22:13 +0100
Message-ID: <LPBBJKMNINKHACNDIIGMKEHBEJAA.a.rosta@dtn.ntl.com>
MIME-Version: 1.0
Content-Type: text/plain;
  charset="iso-8859-1"
Content-Transfer-Encoding: 7bit
X-Priority: 3 (Normal)
X-MSMail-Priority: Normal
X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0)
In-Reply-To: <20010817203321.A15595@digitalkingdom.org>
Importance: Normal
X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200
From: "And Rosta" <a.rosta@dtn.ntl.com>

Robin:
> On Sat, Aug 18, 2001 at 04:22:09AM +0100, And Rosta wrote:
> > There was some recent discussion, instigated by pc, about more-than-binary
> > connectives. For some, like an extended xor, it's easy to see how to
> > render them: "exactly one of A, B, C is true". 
> 
> Umm, no.
> 
> IIRC, this is even mentioned in the book as an example of one that
> doesn't work. Here's the table, assuming left associativity:
> 
> A xor B Result C
> T F T T T
> T F T F F
> T T F F T
> T T F T F
> F T T F T
> F T T T F
> F F F T T
> F F F F F
> 
> IOW, it's true when exactly one is true and when all are true. Rather
> counter-intuitive.

In this case it doesn't mean "exactly one of A, B, C is true", which
is an extension of "exactly one of A, B is true", which is one way
of doing xor. I can't easily work out what your table means, but I
imagine it's xor(A, xor(B, C)) or suchlike, which would not count as 
the sort of connective I was rather incompetently trying to describe.

--And.