From lojbab@lojban.org Sat Jan 12 18:53:50 2002 Return-Path: X-Sender: lojbab@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_1_3); 13 Jan 2002 02:53:50 -0000 Received: (qmail 3460 invoked from network); 13 Jan 2002 02:53:49 -0000 Received: from unknown (216.115.97.172) by m5.grp.snv.yahoo.com with QMQP; 13 Jan 2002 02:53:49 -0000 Received: from unknown (HELO stmpy-5.cais.net) (205.252.14.75) by mta2.grp.snv.yahoo.com with SMTP; 13 Jan 2002 02:53:49 -0000 Received: from bob.lojban.org (dynamic118.cl7.cais.net [205.177.20.118]) by stmpy-5.cais.net (8.11.1/8.11.1) with ESMTP id g0D2rlr21334 for ; Sat, 12 Jan 2002 21:53:48 -0500 (EST) Message-Id: <4.3.2.7.2.20020112215154.00b5dab0@pop.cais.com> X-Sender: vir1036@pop.cais.com X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Sat, 12 Jan 2002 21:52:41 -0500 To: lojban@yahoogroups.com Subject: Re: [lojban] multiple logical connectives In-Reply-To: Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii"; format=flowed From: "Bob LeChevalier (lojbab)" X-Yahoo-Group-Post: member; u=1120595 X-Yahoo-Profile: lojbab At 01:53 AM 1/13/02 +0000, thinkit41 wrote: >OK, this is lojban related so I hope I haven't been killfiled too >much. Anyway, I was looking at the logical connective section and >noticed it sort of glossed over how two or more connectives together >work. Now in general a truth table or x arguments is 2^(2^x), >right? Repeated connectives give you 16^(x-1). Now these happen to >coincide for x=2 and 3, after which I think the general truth table >becomes increasingly larger. > >My question is, for x=3, can the connectives give you the full >trutch table? Not without repeating terms. lojbab -- lojbab lojbab@lojban.org Bob LeChevalier, President, The Logical Language Group, Inc. 2904 Beau Lane, Fairfax VA 22031-1303 USA 703-385-0273 Artificial language Loglan/Lojban: http://www.lojban.org