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

Er, that is, it becomes fuzzy logic if you set N=2 and allow
fractional truth values.


+ Ed Heil ---------------------- edheil@postmark.net +
|    "What matter that you understood no word!       |
|    Doubtless I spoke or sang what I had heard      |
|           In broken sentences."  --Yeats           |
+----------------------------------------------------+

FFlores wrote:

> 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
>