数理逻辑之 范式

从上一篇文章数理逻辑之 命题逻辑完备性终于到现在找到了满意的工作：一家大型外企，各方面都很满意。   今天开始说范式。先介绍几个概念。 语义等值：令Ф和ψ是命题逻辑公式，我们称Ф和ψ语义等值当且仅当Ф ╞ ψ 且ψ ╞ Ф成立。记为Ф≡ψ。 可满足公式：给定命题逻辑公式Ф，我们说Ф是可满足的，如果存在Ф的一次求值使得Ф取值TRUE.    文字：文字L是指命题原子p或¬p。 L ::= p | ¬

>>阅读原文<<