TAN: N-ary logic (was: RE: Trivalent logic in Aymara?)

Nik Taylor <fortytwo@...> wrote:
> Jim Henry wrote:
> > F   M     M
> > M   F     M
>
> Wouldn't F&M be F?  After all, F&T is False.  It's only true if BOTH are
> true, and since you know that one of them is false, it can't be true.
I think Nik's right. FWIW, I have here a system of
trinary logic where 0 = True, 1 = Maybe, 2 = False.
You can define the main logical operators like this:

x AND y = max(x, y)
x OR y  = min(x, y)
NOT x   = 2 - x

I just saw this in my notes of Logic, and I'm sure it's
not a "new" concept, but Jim's notes remembered it to me.
Anyway, the only places where it doesn't coincide is in
the two rows Nik mentioned.

BTW, N-ary logic (N being any base number) works well with
the formulae above (with NOT x = N - x), if you assume
0 = True, ... , N - 1 = False, even if N = 2, which is our
common bivalent logic.


--Pablo Flores