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

Niice.  But then this will work, since only the first one doesn't have a 
conjunction before it to bear the '-nai'



----- Original Message ----
From: Jorge Llambías <jjllambias@gmail.com>
To: lojban@googlegroups.com
Sent: Fri, January 7, 2011 4:53:23 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))

On Fri, Jan 7, 2011 at 7:42 PM, John E Clifford <kali9putra@yahoo.com> wrote:
> 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.

Actually, the "... (na).e(nai) ... .e(nai) ... .e(nai) ..." form does
work fine, so you can pinpoint exactly which ones you do want and
which ones you don't in an intuitive way. It's the "na.e" form that
causes trouble after the first one, because it negates everything that
came before.

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.