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

["Jorge Llambías" <jjllambias@gmail.com>]

On Thu, Jun 12, 2008 at 9:37 PM, namor <eldrikdo@gmail.com> wrote:
>
> The order in which you actually apply the 'se'- or 'na'/'nai'-changes on the
> truth table doesn't matter then.

Given a connective with the truth table 1234, where each number can stand
for T or F, {na} will change it to 3412, {nai} will change it to 2143,
and {se} will
change it to 1324. The {na} and {nai} shifts can be applied together
in any order
with respect to each other, in both cases applying na-nai we get 4321. But the
{se} shift must be applied to the truth table before the na/nai shifts.

1234 --> 1234
1234 -nai-> 2143
1234 -na-> 3412
1234 -na-nai-> 4321
1234 -se-> 1324
1234 -se-nai-> 3142
1234 -na-se-> 2413
1234 -na-se-nai-> 4231

The remaining 8 permutations are unreachable, but they wouldn't
produce any new truth table in any case.

> Thanks for your patient explaining xorxes

Thank you, this was interesting as I had never thought about it this way.

mu'o mi'e xorxes


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.