Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

LOGIC

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?

Name: OP 2011-01-17 17:19

(phi or not phi) can evaluate to indeterminate and true
(phi and not phi) can evaluate to indeterminate and false

so I guess all boolean tautologies don't apply to ternary logic.

Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List