From fracture@cs6668125-184.austin.rr.com Wed Nov 06 18:43:05 2002 Received: with ECARTIS (v1.0.0; list lojban-list); Wed, 06 Nov 2002 18:43:05 -0800 (PST) Received: from cs6668125-184.austin.rr.com ([66.68.125.184] ident=root) by digitalkingdom.org with esmtp (Exim 4.05) id 189cdD-0000Oy-00 for lojban-list@lojban.org; Wed, 06 Nov 2002 18:42:55 -0800 Received: from cs6668125-184.austin.rr.com (asdf@localhost [127.0.0.1]) by cs6668125-184.austin.rr.com (8.12.3/8.12.3) with ESMTP id gA72mhiR066101 for ; Wed, 6 Nov 2002 20:48:43 -0600 (CST) (envelope-from fracture@cs6668125-184.austin.rr.com) Received: (from fracture@localhost) by cs6668125-184.austin.rr.com (8.12.3/8.12.3/Submit) id gA72mhCB066100 for lojban-list@lojban.org; Wed, 6 Nov 2002 20:48:43 -0600 (CST) Date: Wed, 6 Nov 2002 20:48:43 -0600 From: Jordan DeLong To: lojban-list@lojban.org Subject: [lojban] Re: importing ro Message-ID: <20021107024843.GA66073@allusion.net> References: <20021106214736.GA62605@allusion.net> <20021107024143.GA65663@allusion.net> Mime-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="wac7ysb48OaltWcw" Content-Disposition: inline In-Reply-To: <20021107024143.GA65663@allusion.net> User-Agent: Mutt/1.4i X-archive-position: 2481 X-ecartis-version: Ecartis v1.0.0 Sender: lojban-list-bounce@lojban.org Errors-to: lojban-list-bounce@lojban.org X-original-sender: fracture@allusion.net Precedence: bulk Reply-to: lojban-list@lojban.org X-list: lojban-list --wac7ysb48OaltWcw Content-Type: text/plain; charset=us-ascii Content-Disposition: inline Content-Transfer-Encoding: quoted-printable On Wed, Nov 06, 2002 at 08:41:43PM -0600, Jordan DeLong wrote: > On Thu, Nov 07, 2002 at 01:59:04AM -0000, And Rosta wrote: [...] > Furthermore, it is false that > Ax(Ux -> Wx) |- Ex(Ux & !Wx) I meant to type: ~Ax(Ux -> Wx) |- Ex(Ux & ~Wx) (but you could probably guess that anyway). --=20 Jordan DeLong - fracture@allusion.net lu zo'o loi censa bakni cu terzba le zaltapla poi xagrai li'u sei la mark. tuen. cusku --wac7ysb48OaltWcw Content-Type: application/pgp-signature Content-Disposition: inline -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.0.7 (FreeBSD) iD8DBQE9ydSLDrrilS51AZ8RAiSNAKCbOzb5MwxVu2lNmoAQdHPok679xQCgvD42 5avWjyYlVmEE/YFUT4zEA+o= =SuTO -----END PGP SIGNATURE----- --wac7ysb48OaltWcw--