From a.rosta@lycos.co.uk Wed Nov 06 17:58:03 2002 Return-Path: X-Sender: lojban-out@lojban.org X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_2_3_0); 7 Nov 2002 01:58:03 -0000 Received: (qmail 70413 invoked from network); 7 Nov 2002 01:58:03 -0000 Received: from unknown (66.218.66.217) by m1.grp.scd.yahoo.com with QMQP; 7 Nov 2002 01:58:03 -0000 Received: from unknown (HELO digitalkingdom.org) (204.152.186.175) by mta2.grp.scd.yahoo.com with SMTP; 7 Nov 2002 01:58:03 -0000 Received: from lojban-out by digitalkingdom.org with local (Exim 4.05) id 189bvn-00009R-00 for lojban@yahoogroups.com; Wed, 06 Nov 2002 17:58:03 -0800 Received: from digitalkingdom.org ([204.152.186.175] helo=chain) by digitalkingdom.org with esmtp (Exim 4.05) id 189bvk-00008p-00; Wed, 06 Nov 2002 17:58:00 -0800 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 06 Nov 2002 17:57:59 -0800 (PST) Received: from mrin02.spray.se ([212.78.193.8] helo=mrin02.st1.spray.net) by digitalkingdom.org with esmtp (Exim 4.05) id 189bvd-00007T-00 for lojban-list@lojban.org; Wed, 06 Nov 2002 17:57:53 -0800 Received: from lmin04.st1.spray.net (lmin04.st1.spray.net [212.78.202.104]) by mrin02.st1.spray.net (Postfix) with ESMTP id DC13C242285 for ; Thu, 7 Nov 2002 02:57:17 +0100 (CET) Received: from oemcomputer (host213-121-66-176.surfport24.v21.co.uk [213.121.66.176]) by lmin04.st1.spray.net (Postfix) with ESMTP id F06891C130 for ; Thu, 7 Nov 2002 02:57:16 +0100 (MET) To: Subject: [lojban] Re: importing ro Date: Thu, 7 Nov 2002 01:59:04 -0000 Message-ID: MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" X-Priority: 3 (Normal) X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook IMO, Build 9.0.2416 (9.0.2910.0) Importance: Normal In-Reply-To: <20021106214736.GA62605@allusion.net> X-MimeOLE: Produced By Microsoft MimeOLE V5.00.2615.200 X-archive-position: 2478 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: a.rosta@lycos.co.uk Precedence: bulk X-list: lojban-list From: "And Rosta" Reply-To: a.rosta@lycos.co.uk X-Yahoo-Group-Post: member; u=122260811 X-Yahoo-Profile: andjamin Jordan: > With a *nonimporting* ro, > naku ro pavyseljirna != su'o pavyseljirna naku > (and the book says this is equal) I don't understand this. Nonimporting: It is not the case that everything is either not a unicorn or is white. = There is something that is a unicorn and is not white. -- they seem equivalent to me. Importing: It is not the case that (there is a unicorn and everything is either not a unicorn or is white) != There is something that is a unicorn and is not white. -- they seem nonequivalent. The first is true if there are no unicorns, and the second is false if there are no unicorns. --And.