From jjllambias@hotmail.com Wed Feb 27 12:05:31 2002 Return-Path: X-Sender: jjllambias@hotmail.com X-Apparently-To: lojban@yahoogroups.com Received: (EGP: unknown); 27 Feb 2002 20:05:31 -0000 Received: (qmail 90504 invoked from network); 27 Feb 2002 20:05:29 -0000 Received: from unknown (216.115.97.172) by m12.grp.snv.yahoo.com with QMQP; 27 Feb 2002 20:05:29 -0000 Received: from unknown (HELO hotmail.com) (216.33.241.207) by mta2.grp.snv.yahoo.com with SMTP; 27 Feb 2002 20:05:29 -0000 Received: from mail pickup service by hotmail.com with Microsoft SMTPSVC; Wed, 27 Feb 2002 12:05:29 -0800 Received: from 200.49.74.2 by lw8fd.law8.hotmail.msn.com with HTTP; Wed, 27 Feb 2002 20:05:29 GMT To: lojban@yahoogroups.com Bcc: Subject: Re: [lojban] Re: [jboske] RE: Anything but tautologies Date: Wed, 27 Feb 2002 20:05:29 Mime-Version: 1.0 Content-Type: text/plain; format=flowed Message-ID: X-OriginalArrivalTime: 27 Feb 2002 20:05:29.0343 (UTC) FILETIME=[1A9620F0:01C1BFCA] From: "Jorge Llambias" X-Originating-IP: [200.49.74.2] X-Yahoo-Group-Post: member; u=6071566 X-Yahoo-Profile: jjllambias2000 X-Yahoo-Message-Num: 13422 la pycyn cusku di'e >{1} =df {0'} >0' = 0' (by reflexivity of identity) >1 = 0' (by definitional replacement). How does the first line go into Lojban? Is it: {ca'e li pa du li no y'ybu}? Something else? mu'o mi'e xorxes _________________________________________________________________ Send and receive Hotmail on your mobile device: http://mobile.msn.com