[lojban] Re: Possible error in CLL:14:7:3

[Minimiscience <minimiscience@gmail.com>]

On May 31, 2008, at 9:41 PM, nam wrote:
> "mi dotco .ijo mi ricfu .ijo mi nanmu" => "an accurate translation  
> would be:
> Of the three properties --- German-ness, wealth, and manhood -- I  
> possess
> either exactly one or else all three."
>
> I would say it should be: "I possess either (exactly) none or else  
> all three"
>
> If you agree, I'll add this to the CLL-errata wiki-page.

No, the translation given is correct.  This can be demonstrated with a  
truth table:

d|r|n|d<->r|d<->r<->n
-|-|-|-----|---------
T|T|T|  T  |    T
T|T|F|  T  |    F
T|F|T|  F  |    F
T|F|F|  F  |    T
F|T|T|  F  |    F
F|T|F|  F  |    T
F|F|T|  T  |    T
F|F|F|  T  |    F

Remember that (a) an "iff" statement is true only if both elements are  
true *or* neither element is true, and (b) Lojban connectives are left- 
associative.

mu'omi'e la'o gy. Minimiscience .gy.


To unsubscribe from this list, send mail to lojban-list-request@lojban.org
with the subject unsubscribe, or go to http://www.lojban.org/lsg2/, or if
you're really stuck, send mail to secretary@lojban.org for help.