數理邏輯之 範式

從上一篇文章數理邏輯之 命題邏輯完備性終於到現在找到了滿意的工作：一家大型外企，各方面都很滿意。   今天開始說範式。先介紹幾個概念。 語義等值：令Ф和ψ是命題邏輯公式，我們稱Ф和ψ語義等值當且僅當Ф ╞ ψ 且ψ ╞ Ф成立。記爲Ф≡ψ。 可滿足公式：給定命題邏輯公式Ф，我們說Ф是可滿足的，如果存在Ф的一次求值使得Ф取值TRUE.    文字：文字L是指命題原子p或¬p。 L ::= p | ¬

>>阅读原文<<