From pycyn@aol.com Sat Apr 27 12:33:21 2002
Return-Path: <Pycyn@aol.com>
X-Sender: Pycyn@aol.com
X-Apparently-To: lojban@yahoogroups.com
Received: (EGP: mail-8_0_3_1); 27 Apr 2002 19:33:21 -0000
Received: (qmail 5482 invoked from network); 27 Apr 2002 19:33:12 -0000
Received: from unknown (66.218.66.217)
  by m8.grp.scd.yahoo.com with QMQP; 27 Apr 2002 19:33:12 -0000
Received: from unknown (HELO imo-r07.mx.aol.com) (152.163.225.103)
  by mta2.grp.scd.yahoo.com with SMTP; 27 Apr 2002 19:33:11 -0000
Received: from Pycyn@aol.com
  by imo-r07.mx.aol.com (mail_out_v32.5.) id r.b6.aaff414 (3951)
  for <lojban@yahoogroups.com>; Sat, 27 Apr 2002 15:32:51 -0400 (EDT)
Message-ID: <b6.aaff414.29fc56e3@aol.com>
Date: Sat, 27 Apr 2002 15:32:51 EDT
Subject: Re: [lojban] cipja'o
To: lojban@yahoogroups.com
MIME-Version: 1.0
Content-Type: multipart/alternative; boundary="part1_b6.aaff414.29fc56e3_boundary"
X-Mailer: AOL 7.0 for Windows US sub 118
From: pycyn@aol.com
X-Yahoo-Group-Post: member; u=2455001
X-Yahoo-Profile: kaliputra

--part1_b6.aaff414.29fc56e3_boundary
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit

In a message dated 4/27/2002 8:59:56 AM Central Daylight Time, 
gordon.dyke@bluewin.ch 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)

--part1_b6.aaff414.29fc56e3_boundary
Content-Type: text/html; charset="US-ASCII"
Content-Transfer-Encoding: 7bit

<HTML><FONT FACE=arial,helvetica><BODY BGCOLOR="#ffffff"><FONT style="BACKGROUND-COLOR: #ffffff" SIZE=2>In a message dated 4/27/2002 8:59:56 AM Central Daylight Time, gordon.dyke@bluewin.ch writes:<BR>
<BR>
<BR>
<BLOCKQUOTE TYPE=CITE style="BORDER-LEFT: #0000ff 2px solid; MARGIN-LEFT: 5px; MARGIN-RIGHT: 0px; PADDING-LEFT: 5px">da'i seems good for hypothesis. how about this (for the deductive pattern I<BR>
used) ?<BR>
<BR>
.i broda .inaja brodu<BR>
.i brode .inaja brodu<BR>
.ibrode .ija broda<BR>
.ida'i broda<BR>
.i brodu da'inai<BR>
da'i brode<BR>
.i brodu da'inai<BR>
.i brodu<BR>
</BLOCKQUOTE><BR>
<BR>
OK.&nbsp; I would put it as<BR>
<BR>
<BR>
.ibrode .ija broda<BR>
.i da'i broda<BR>
.i brodu da'inai<BR>
.i broda .inaja brodu<BR>
.i da'i brode<BR>
.i brodu da'inai<BR>
.i brode .inaja brodu<BR>
.i brodu<BR>
<BR>
And the two conditonals could be eliminated (separation of cases rather than dilemma with conditional proofs)</FONT></HTML>

--part1_b6.aaff414.29fc56e3_boundary--

