From thinkit8@lycos.com Tue Jan 01 02:13:47 2002 Return-Path: X-Sender: thinkit8@lycos.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_1_3); 1 Jan 2002 10:13:47 -0000 Received: (qmail 46420 invoked from network); 1 Jan 2002 10:13:47 -0000 Received: from unknown (216.115.97.171) by m12.grp.snv.yahoo.com with QMQP; 1 Jan 2002 10:13:47 -0000 Received: from unknown (HELO n12.groups.yahoo.com) (216.115.96.62) by mta3.grp.snv.yahoo.com with SMTP; 1 Jan 2002 10:13:46 -0000 Received: from [216.115.96.152] by n12.groups.yahoo.com with NNFMP; 01 Jan 2002 10:13:46 -0000 Date: Tue, 01 Jan 2002 10:13:44 -0000 To: lojban@yahoogroups.com Subject: Logical connective question. Message-ID: User-Agent: eGroups-EW/0.82 MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Length: 449 X-Mailer: Yahoo Groups Message Poster From: "thinkit41" X-Originating-IP: 12.224.27.33 X-Yahoo-Group-Post: member; u=71054096 X-Yahoo-Profile: thinkit41 X-Yahoo-Message-Num: 12720 I have a question about logical connectives that relates to my own binary language. When you say something like AND (je), are you asserting the falsehood of combinations that you list as 0? AND is TFFF. You are asserting that X and Y being true is acceptable. But are you also asserting that X and Y can't both be false (and likewise the other two combinations)? Or are you just limiting your assertion to the true entries?