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

[namor <eldrikdo@gmail.com>]

Am Mittwoch 11 Juni 2008 01:50:13 schrieb Jorge Llambías:
> broda .isejunai brode
> = broda .iseju na brode
> = na brode .iju broda
>
> i.e. true whenever brode is false (FTFT).

For the first line, "i.e. true whenever brode is false (FTFT)" is true.
For the last line, however, this isn't true as far as I understand, as: {na 
brode .iju broda} is FFTT, not FTFT.

Consider a truth table for {na brode .iju broda} or {brode .inaju broda} 
respectively.
Here, A is the first (brode) and B is the second (broda)
A B  R(esult)
T T  F [(not true) whether or not true]
T F  F [(not true) whether or not false]
F T  T [(not false) whether or not true]
F F  T [(not false) whether or not false]


This example, again, suggests se has higher priority than nai.

-- 
mu'o mi'e namor


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.