离散数学学习笔记——命题逻辑（2）

命题变元

一个特定的命题是一个常值命题，它不是具有值 “T”(“1”)，就是具有值 “F”(“0”)。

一个任意的没有赋予具体内容的原子命题是一个变量命题，常称它为命题变量 (或命题变元)(propositional variable)，该命题变量无具体的真值，它的变域是集合{T, F}(或 {0, 1})。

命题公式

命题演算的合式公式 (well formed formula，wff)，又称命题公式 (简称公式)，按如下规则生成：
1 命题变元本身是一个公式；（如：P, Q, R, · · · ）
2 如 G 是公式，则(¬G)也是公式；（如：¬P, ¬Q, ¬R, · · · ）
3 如 G，H 是公式，则(G ∧ H)、(G ∨ H)、(G → H)、(G ↔ H)也是公式；（如：P ∧ Q,(¬Q) → R, · · · ）
4 仅由有限步使用规则 (1)、(2)、(3)后所得到的包含命题变元、联结词和括号的符号串才是命
题公式.（如：¬(P ∧ Q) ↔ R,(¬Q ∨ (P ∧ ¬R)) → R, · · · ）
如果 G 是含有 n 个命题变元 P1、P2、P3、· · · 、Pn 的公式，可记为：G(P1, P2, P3, · · · , Pn) 或简写为 G。

关于命题公式的说明

1 原子命题变元是最简单的合式公式，称为原子合式公式，简称原子公式；
2 命题公式没有真值，只有对其命题变元进行真值指派后，方可确定命题公式的真值；
3 整个公式的最外层括号可以省略；公式中不影响运算次序的括号也可以省略；
4 在实际应用中，为了便于存储和运算，命题公式常用二元树的方式来表达。

公式的解释

设 P1、P2、P3、· · · 、Pn 是出现在公式 G 中的所有命题变元，指定 P1、P2、P3、· · · 、Pn 一组真值，则这组真值称为 G 的一个解释，常记为 $I$。

设有公式：G = P → (¬Q ∧ R)
1 $I_1$ : P = 0, Q = 1, R = 0是 G 的一个解释，使得 G 的真值为 1。
2 $I_2$ : P = 1, Q = 0, R = 0是 G 的一个解释，使得 G 的真值为 0。

如果公式 G 在解释$I$下是真的，则称I 满足 G，此时$I$是 G 的成真赋值；如果 G 在解释$I$下是假的，则称I 弄假于 G，此时 $I$是 G 的成假赋值。

真值表

一般来说，若有 n 个命题变元，则应有 $2^n$ 个不同的解释。
利用真值表，可得到公式的所有成真赋值和成假赋值。

由公式 G 在其所有可能的解释下所取真值构成的表，称为 G 的真值表(truth table)。

一般我们将公式中的命题变元放在真值表的左边，将公式的结果放在真值表的右边。有时为了清楚起见，可将求公式的中间结果也放在真值表中。

可进一步简化为：