命题逻辑——语义

关于命题逻辑的语法可参考链接：命题逻辑——语法.

对命题逻辑的语义理解

一个命题逻辑公式就是命题逻辑语言字母表上的符号串 (这类似于一个英文句子是英文字母表上的字符串)。命题逻辑的语法的本质是规定了命题逻辑语言字母表上的什么样的符号串才是合法的命题逻辑公式。与自然语言类似，一个“简单”的语句有对与错的区分，相应的一个命题公式也需要分辨真或假，而一个公式本身是没有真假值的，当给公式中的命题符号都赋予了真假值以后，我们就可以判定该公式的真与假了。因此，如果我们想用命题逻辑来进行推理，我们不仅要有一个合法的公式的集合(即合乎语法的公式)，还要给公式中的命题符号赋值 (即给出每个公式的语义)。

真假赋值

一个真假赋值是一个从 (可数无限的) 命题符号集合 $P$ 到集合 { 0 , 1 } \{0,1\} {0,1} 的函数 v : P → { 0 , 1 } v :P\rightarrow \{0,1\} v:P→{0,1}。

注：根据定义，一个真假赋值要同时给可数无限多个命题符号指派一个真假值。

公式的真假值

命题逻辑的真假值通常用如下的真值表给出：

几个常见的定义

• 可满足性(Satisfiability)：一个命题逻辑公式是可满足的当且仅当存在一个真值赋值使得该公式的值为真；
• 有效性(Validity)：一个命题逻辑公式是有效的当且仅当任意一个真值赋值都使得该公式的值为真；
• 重言式 (Tautology)：一个永真的公式称为重言式；
• 矛盾式(Contradiction)：一个永假的公式称为矛盾式。

注：显然，

• 重言式一定是有效公式，有效公式一定是重言式；
• 重言式一定是可满足公式，可满足公式不一定是重言式；
• 矛盾式一定不是可满足公式，可满足公式一定不是矛盾式。