Fw: [lojban] cipja'o

["G. Dyke" <gordon.dyke@bluewin.ch>]

----- Original Message -----
From: "G. Dyke" <gordon.dyke@bluewin.ch>
To: <pycyn@aol.com>
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
>
>