[lojban] Re: priority of se and na/nai in logical connectives

[Pierre Abbat <phma@phma.optus.nu>]

On Tuesday 10 June 2008 18:37, namor wrote:
> Hi, I was told {broda .isejanai brode} wouldn't make any sense since:
>
> broda AND NOT brode  == NOT brode AND broda
>
> But the line
> "FTFT    U with sentences exchanged and then second negated" from CLL:15:2
> indicates the contrary,
> for the order is the other way around.
> So it would rather be:
>
> broda AND NOT brode  != brode AND NOT broda
>
> I also checked this by doing the swapping and then second-negating on a U
> connective myself and it made sense. If, however, I tried doing it the
> other way around it didn't work.
>
> Did I do a mistake or was I told wrong?

{se.a} is the same as {a}. {se} before a logical conjunction makes no 
difference unless the conjunction is {u} (or ju, gi'u, etc.).

{na} before a conjunction, and {nai} after it, turn the conjunction into the 
same conjunction with one argument negated. If the conjunction has {i}, {na} 
comes after {i}, e.g. {inaja}.

To figure out what the grammar says, I'd have to peruse it, which I don't have 
time for now. But I ran some sentences through jbofi'e, and {se} is applied 
before {na} and {nai}.

Now can you figure out what {teju} and {veju} mean?

Pierre


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.