[bpfk] CLL Check: Only If

[Robin Lee Powell <rlpowell@digitalkingdom.org>]

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

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

<p><a href="../4/#e10">Example 4.10</a>, which uses the TFTT truth function, is subject to the same rules: the stated gloss of TFTT
as “only if” 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="../4/#e10">Example 4.10</a> illustrates the use of “if ... then” as a more natural substitute for “only
 if”.</p>
<pre>
<a id="e10" name="e10">4.10)</a>  la djan. nanmu .inaja la djeimyz. ninmu
       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

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

-- 
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@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/bpfk-list?hl=en.