瞭解邏輯上下文

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可能沒有被用戶顯式聲明，而是由用戶執行的聲明隱含。