Name: Anonymous 2011-01-17 16:58
Are there tautologies in ternary logic?
We all know about tertium non datur in boolean logic and other tautologies, but if we have a third value in ternary logic (e.g. "indeterminate") do these tautologies still exist?
We all know about tertium non datur in boolean logic and other tautologies, but if we have a third value in ternary logic (e.g. "indeterminate") do these tautologies still exist?