Received: from mail-pw0-f61.google.com ([209.85.160.61])
	by chain.digitalkingdom.org with esmtp (Exim 4.72)
	(envelope-from <bpfk-list+bncCK30vq5WEPbMruYEGgRr7gGd@googlegroups.com>)
	id 1PC3Yf-0004Io-8F; Fri, 29 Oct 2010 22:00:51 -0700
Received: by pwi2 with SMTP id 2sf328590pwi.16
        for <multiple recipients>; Fri, 29 Oct 2010 22:00:43 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlegroups.com; s=beta;
        h=domainkey-signature:received:x-beenthere:received:received:received
         :received:received-spf:received:received:date:from:to:subject
         :message-id:mail-followup-to:mime-version:user-agent
         :x-original-sender:x-original-authentication-results:reply-to
         :precedence:mailing-list:list-id:list-post:list-help:list-archive
         :sender:list-subscribe:list-unsubscribe:content-type
         :content-disposition:content-transfer-encoding;
        bh=mVkvmFkgQAYMGh1K+WWIq4OLKXuSwaj2FFCEWJzZbfc=;
        b=v+vsg3nJ7CYyA+O7oKePBUqBwn8wYZYkDI8XXTHDqw6XTSGIZoDDD7/LV0J+7dqX4X
         ltYYnTPNeW5uiuUqDEndp7RChfYqinjM+rv6ujQzbCRLHyfBAs9640CHKkcnLfz/x1yX
         YUr/r9/NSaM+eWB/4HQBPKKm63y4t1zeLnq2w=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlegroups.com; s=beta;
        h=x-beenthere:received-spf:date:from:to:subject:message-id
         :mail-followup-to:mime-version:user-agent:x-original-sender
         :x-original-authentication-results:reply-to:precedence:mailing-list
         :list-id:list-post:list-help:list-archive:sender:list-subscribe
         :list-unsubscribe:content-type:content-disposition
         :content-transfer-encoding;
        b=6+hWtqI6M2VC2U64h8js++TCw0J8LOAYMNFI2IxbWHvInpOW0QKoZs3tEq41oEXXnJ
         Nv0X+lucS1j22c7FTGQyBYokjNCoIERmHELspt/eu9rO4hRI5RkcPzG60NQLFBs0z3xW
         hlFBlsOeIlJ0WtSZMmgwWLs12LvJO8qVJ5VeI=
Received: by 10.142.150.13 with SMTP id x13mr115229wfd.6.1288414838047;
        Fri, 29 Oct 2010 22:00:38 -0700 (PDT)
X-BeenThere: bpfk-list@googlegroups.com
Received: by 10.142.2.41 with SMTP id 41ls2539088wfb.0.p; Fri, 29 Oct 2010
 22:00:37 -0700 (PDT)
Received: by 10.142.171.17 with SMTP id t17mr1588227wfe.10.1288414837605;
        Fri, 29 Oct 2010 22:00:37 -0700 (PDT)
Received: by 10.142.171.17 with SMTP id t17mr1588226wfe.10.1288414837576;
        Fri, 29 Oct 2010 22:00:37 -0700 (PDT)
Received: from chain.digitalkingdom.org (digitalkingdom.org [173.13.139.234])
        by gmr-mx.google.com with ESMTP id y8si3379409wfj.5.2010.10.29.22.00.37;
        Fri, 29 Oct 2010 22:00:37 -0700 (PDT)
Received-SPF: pass (google.com: best guess record for domain of nobody@digitalkingdom.org designates 173.13.139.234 as permitted sender) client-ip=173.13.139.234;
Received: from nobody by chain.digitalkingdom.org with local (Exim 4.72)
	(envelope-from <nobody@digitalkingdom.org>)
	id 1PC3YS-0004HG-Up
	for bpfk-list@googlegroups.com; Fri, 29 Oct 2010 22:00:37 -0700
Received: from rlpowell by chain.digitalkingdom.org with local (Exim 4.72)
	(envelope-from <rlpowell@digitalkingdom.org>)
	id 1PC3YS-0004H7-RI
	for bpfk@lojban.org; Fri, 29 Oct 2010 22:00:36 -0700
Date: Fri, 29 Oct 2010 22:00:36 -0700
From: Robin Lee Powell <rlpowell@digitalkingdom.org>
To: bpfk@lojban.org
Subject: [bpfk] CLL Check: Only If
Message-ID: <20101030050036.GS1105@digitalkingdom.org>
Mail-Followup-To: bpfk@lojban.org
MIME-Version: 1.0
User-Agent: Mutt/1.5.20 (2009-06-14)
X-Original-Sender: rlpowell@digitalkingdom.org
X-Original-Authentication-Results: gmr-mx.google.com; spf=pass (google.com:
 best guess record for domain of nobody@digitalkingdom.org designates
 173.13.139.234 as permitted sender) smtp.mail=nobody@digitalkingdom.org
Reply-To: bpfk-list@googlegroups.com
Precedence: list
Mailing-list: list bpfk-list@googlegroups.com; contact bpfk-list+owners@googlegroups.com
List-ID: <bpfk-list.googlegroups.com>
List-Post: <http://groups.google.com/group/bpfk-list/post?hl=en_US>, <mailto:bpfk-list@googlegroups.com>
List-Help: <http://groups.google.com/support/?hl=en_US>, <mailto:bpfk-list+help@googlegroups.com>
List-Archive: <http://groups.google.com/group/bpfk-list?hl=en_US>
Sender: bpfk-list@googlegroups.com
List-Subscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>, <mailto:bpfk-list+subscribe@googlegroups.com>
List-Unsubscribe: <http://groups.google.com/group/bpfk-list/subscribe?hl=en_US>,
 <mailto:bpfk-list+unsubscribe@googlegroups.com>
Content-Type: text/plain; charset=windows-1252
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
Content-Length: 1580


Apologies for the HTML.  Here's what's in the books as far as I can
tell:

- -------------

<p><a href=3D"../4/#e10">Example 4.10</a>, which uses the TFTT truth functi=
on, is subject to the same rules: the stated gloss of TFTT
as =93only if=94 works naturally only when the right-hand bridi is true; if=
 it is false, the left-hand bridi may be either true or false
. The last gloss of <a href=3D"../4/#e10">Example 4.10</a> illustrates the =
use of =93if ... then=94 as a more natural substitute for =93only
 if=94.</p>
<pre>
<a id=3D"e10" name=3D"e10">4.10)</a>  la djan. nanmu .inaja la djeimyz. nin=
mu
       John is-not-a-man or James is-a-woman.
       John is a man only if James is a woman.
       If John is a man, then James is a woman.
</pre>

- -------------

"if it is false, the left-hand bridi may be either true or false"
is, as far as I can tell, wrong.  The t,f case is false here.

Am I missing something?  What should this say?

-Robin

--=20
http://singinst.org/ :  Our last, best hope for a fantastic future.
Lojban (http://www.lojban.org/): The language in which "this parrot
is dead" is "ti poi spitaki cu morsi", but "this sentence is false"
is "na nei".   My personal page: http://www.digitalkingdom.org/rlp/

--=20
You received this message because you are subscribed to the Google Groups "=
BPFK" group.
To post to this group, send email to bpfk-list@googlegroups.com.
To unsubscribe from this group, send email to bpfk-list+unsubscribe@googleg=
roups.com.
For more options, visit this group at http://groups.google.com/group/bpfk-l=
ist?hl=3Den.