一种逻辑结构,它不假定排中律。可能有三个真值:真、假或未决定。这样的逻辑有3072个。
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“三值逻辑。”发件人数学世界--Wolfram Web资源。https://mathworld.wolfram.com/Three-ValuedLogic.html