Subject: Re: [lojban] cipja'o

From: [email-masked]
Date: Sat, 27 Apr 2002 15:32:51 EDT

In a message dated 4/27/2002 8:59:56 AM Central Daylight Time, 
[email-masked] writes:

> 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
> 

OK. I would put it as

.ibrode .ija broda
.i da'i broda
.i brodu da'inai
.i broda .inaja brodu
.i da'i brode
.i brodu da'inai
.i brode .inaja brodu
.i brodu

And the two conditonals could be eliminated (separation of cases rather than 
dilemma with conditional proofs)