了解逻辑上下文

Question

当我在检查之后显示我的逻辑背景下，我得到的，在许多其他事情：

inconsistent():1 
m_asserted_formulas.inconsistent():1 
#1 := true 
#2 := false 
... (follows around 40 of theses assertions) 
#144 := (not #143) 
asserted formulas: 
#23 #125 .... #2 

据我所知，在断定公式列表中，也有一些不一致的地方。第一个我看到的是断言数2：

#2 := false 

我说得对，或者会不会是“假”是一个真正的说法对吗？

在此先感谢，

AG。

Answer 1

是的，false被声称在您的上下文中是真实的。请注意，上下文被标记为不一致：inconsistent():1。这里的1这里的意思是true像往常一样C.注意，逻辑上下文的这种低级表示只能用于调试目的。这不是真的意味着“外部”消费。最后，false可能没有被用户显式声明，而是由用户执行的声明隐含。