Re: Cake, Pie or Ice Cream? (was: Re: Lojban is *NOT* broken! Stop saying that! (was Re: [lojban] Re: Vote for the Future Global Language))

[John E Clifford <kali9putra@yahoo.com>]

Just so, hence the requirement that the connectives be taken as connecting only 
atomic expressions, i.e., not grouped ones.  That's a hard rule to justify 
within Lojban, but it works fine in Logic (Skolem normal forms), where the 
negations are not part of the connective.  Of course, then, the 'ji' trick 
doesn't work exactly.  On the other hand, using the groupings does cover some 
cases that simple normal forms don't -- that is, more that one TT line at once.



----- Original Message ----
From: Jorge Llambías <jjllambias@gmail.com>
To: lojban@googlegroups.com
Sent: Fri, January 7, 2011 4:28:35 PM
Subject: Re: Cake, Pie or Ice Cream? (was: Re: Lojban is *NOT* broken! Stop 
saying that! (was Re: [lojban] Re: Vote for the Future Global Language))

Connectives are left-grouping, so:

   ko'a .enai ko'e na.e ko'i broda

expands to:

  genai ge ko'a broda ginai ko'e broda gi ko'i broda

= ge ganai ko'a broda gi ko'e broda gi ko'i broda

i.e. Both if ko'a broda then ko'e broda, and also ko'i broda.

Probably not what was intended.

In fact, other than the two basic multiple ".e" or multiple ".a", "...
.e .... e .....e ..." or "...a ... a....a ....", any other combination
of more than one connective is likely to produce unintended meanings.

mu'o mi'e xorxes

-- 
You received this message because you are subscribed to the Google Groups 
"lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to 
lojban+unsubscribe@googlegroups.com.
For more options, visit this group at 
http://groups.google.com/group/lojban?hl=en.


      

-- 
You received this message because you are subscribed to the Google Groups "lojban" group.
To post to this group, send email to lojban@googlegroups.com.
To unsubscribe from this group, send email to lojban+unsubscribe@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/lojban?hl=en.