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

[namor <eldrikdo@gmail.com>]

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?

mu'o mi'e nam


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.