From gordon.dyke@bluewin.ch Sat Apr 27 07:19:52 2002 Return-Path: X-Sender: gordon.dyke@bluewin.ch X-Apparently-To: lojban@yahoogroups.com Received: (EGP: mail-8_0_3_1); 27 Apr 2002 14:19:52 -0000 Received: (qmail 83624 invoked from network); 27 Apr 2002 14:19:51 -0000 Received: from unknown (66.218.66.216) by m3.grp.scd.yahoo.com with QMQP; 27 Apr 2002 14:19:51 -0000 Received: from unknown (HELO mta9n.bluewin.ch) (195.186.1.215) by mta1.grp.scd.yahoo.com with SMTP; 27 Apr 2002 14:19:51 -0000 Received: from oemcomputer (213.3.36.216) by mta9n.bluewin.ch (Bluewin AG 6.0.040) id 3CBDE981001A4C6F for lojban@yahoogroups.com; Sat, 27 Apr 2002 16:19:48 +0200 Message-ID: <04a001c1edf6$edcda6a0$1d25ca3e@oemcomputer> To: "jboste" Subject: Fw: [lojban] cipja'o Date: Sat, 27 Apr 2002 16:22:09 +0200 MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit X-Priority: 3 X-MSMail-Priority: Normal X-Mailer: Microsoft Outlook Express 5.50.4133.2400 X-MimeOLE: Produced By Microsoft MimeOLE V5.50.4133.2400 From: "G. Dyke" X-Yahoo-Group-Post: member; u=81437350 X-Yahoo-Profile: gregvdyke ----- Original Message ----- From: "G. Dyke" To: Sent: Saturday, April 27, 2002 4:01 PM Subject: Re: [lojban] cipja'o > > cu'u la pycyn. > > > > > > .i ma pensi do di'e > > > > > Check the place-structrue of {pensi}. This says "Who thinks about you?" > with > > a floating {di'e}. Probably {do jinvi ma di'e} > > agreed, I thought of that just as I sent it. > > > > > The rest works OK, But I would use {da'i P ida'inai Q} rather than {da'i P > > inaja Q}: the combination "Suppose that if" seems redundant in context. > > Agreed. > > It's the first time I did a proof and realised what principles of logic were > behind it :-) > > da'i seems good for hypothesis. how about this (for the deductive pattern I > used) ? > > .i broda .inaja brodu > .i brode .inaja brodu > .ibrode .ija broda > .ida'i broda > .i brodu da'inai > da'i brode > .i brodu da'inai > .i brodu > >