离散数学 03.04 范式

$\color{blue}{\S 3.4 范式}$

$\color{blue}{3.4.1 前束范式}$

$在命题逻辑中，我们引进过公式的标准形式，即范式。因为一个公式，在等价\\ 意义下，可以有各种不同的表示，因此，公式的标准表示形式就是一个有意义\\ 的问题。在命题逻辑中，范式有重要作用，范式在谓词逻辑中有同样重要的作\\ 用，本节讨论谓词逻辑中公式的两种标准形式。$

$定义3.4.1.谓词逻辑中公式G称为前束范式，如果G有如下形状：\\ Q_1x_1 \cdots Q_nx_nM，其中Q_ix_i或者是\forall x_i,或者是\exists x_i, i=1, \\ \cdots, n, M是不含量词的公式，Q_1x_1 \cdots Q_nx_n称为首标，M称\\ 为母式。$
$例如，\forall x \forall y \exists z (P (x, y) \to Q(x, z)) \\ \exists x \exists y \exists z P (x, y, z) 等等，就是前束范式。$

$引理1.设G是公式，其中自由变量有且仅有一个x，记以G(x)，\\ H是不含变量x的公式，于是有：\\ 1) \forall x (G(x) \lor H) = \forall x G(x) \lor H \\ 1^{\prime}) \exists x (G(x) \lor H) = \exists x G(x) \lor H \\ 2) \forall x (G(x) \land H) = \forall x G(x) \land H \\ 2^{\prime}) \exists x (G(x) \land H) = \exists x G(x) \land H \\ 3) \lnot (\forall x G(x)) = \exists x (\lnot G(x)) \\ 4) \lnot (\exists x G(x)) = \forall x (\lnot G(x))$
$证明：只证明1)和4).\\ 1) \forall (G(x) \lor H) = \forall x G(x) \lor H \\ 4) \lnot (\exists x G(x)) = \forall x (\lnot G(x)) \\ 1) 设I是G(x)和H的一个解释。\\ 若\forall x (G(x) \lor H) 在I下取1值，则在I下，对任意x \in D,G(x) \lor H 是真命题。\\ 若H是真命题，则\forall x G(x) \lor H是真命题；\\ 若H是假命题，则必然是对每个x \in D,G(x)都是真命题，\\ 故\forall x G(x)取1值。所以\forall x G(x) \lor H在I下取1值。\\ 若\forall x (G(x) \lor H)在I下取0值，\\ 则必有一个x_0 \in D, 使G(x_0) \lor H 在I下取0值。\\ 故G(x_0)为假命题，H为假命题。所以\forall x G(x)取0值。\\ 从而\forall x G(x) \lor H在I下取0值。\\ 4)若I满足\lnot(\exists x G(x)),则I弄假\exists x G(x)。\\ 故对任意G(x)都是假命题，从而\lnot(\exists x G(x)),则I满足\exists x G(x)。\\ 故有x_0 \in D，使得G(x_0)是真命题。\\ 从而\lnot G(x_0)是假命题，故I弄假\forall x (\lnot G(x))。$

$引理2.设G，H是两个公式，其中自由变量有且只有一个x，\\ 分别记以G(x)，H(x)，于是有：\\ 1) \forall x G(x) \land \forall x H(x) = \forall x (G(x) \land H(x)) \\ 2) \exists x G(x) \lor \exists x H(x) = \exists x (G(x) \lor H(x)) \\ 3) \forall x G(x) \lor \forall x H(x) = \forall x \forall y (G(x) \lor H(y)) \\ 4) \exists x G(x) \land \exists x H(x) = \exists x \exists y (G(x) \land H(y))$
$证明：用类似于证明引理1的方法，可证明此引理的1),2)。\\ 3) \forall x G(x) \lor \forall x H(x) \\ = \forall x G(x) \lor \forall y H(y) \quad (改名规则) \\ = \forall x (G(x) \lor \forall y H(y)) \quad (引理1) \\ = \forall x \forall y (G(x) \lor H(y)) \quad (引理1) \\ 同理可证 4)。$

$定理3.4.1.对任意公式G，都存在与其等价的前束范式。$
$证：通过如下算法，可将公式G化成等价的前束范式。\\ 1.使用基本等价式(K \leftrightarrow H) = (K \to H) \land (H \to K) \\ (K \to H) = \lnot K \lor H可将公式G中的\leftrightarrow 和\to 删除。\\ 2.使用\lnot (\lnot H) = H, De Morgan律，引理1，2可将公式中\\ 所有否定号\lnot放在原子之前。\\ 3.如果必要的话，则将约束变量改名。\\ 4.使用引理1，2将所有量词都提到公式的最左边。于是，\\ 将公式G在等价意义下化成了一个前束范式。$

$例3.4.1. \forall x \forall y (\exists z (P(x, z) \land P(y, z)) \to \exists u Q(x, y, u)) \\ = \forall x \forall y (\lnot (\exists z (P (x, z) \land P(y, z))) \lor \exists u Q(x, y, u)) \\ = \forall x \forall y (\forall z(\lnot P(x, z) \lor \lnot P(y, z)) \lor \exists u Q(x, y, u)) \\ = \forall x \forall y \forall z (\lnot P(x, z) \lor \lnot P(y, z) \lor \exists u Q(x, y, u)) \\ = \forall x \forall y \forall z \exists u (\lnot P(x, z) \lor \lnot P(y, z) \lor \lnot Q(x, y, u))$

$\color{blue}{3.4.2 Skolem范式}$

$定义3.4.2.设G是一个公式，Q_1x_1 \cdots Q_nx_n M是与G等价的前束范式，\\ 其中M为合取范式形式。若Q_r是存在量词，并且它左边没有全称量词，则\\ 取异与出现在M中所有常量符号的常量符号c，并用c代替M中所有x_r，然\\ 后在首标中删除Q_rx_r。若Q_{s1}, \cdots, Q_{sm}是所有出现在Q_rx_r左边的全称量\\ 词(m \geq 1, 1 \leq s1 < s2 < \cdots < sm < r)，则取异于出现在M中所有\\ 函数符号的m元函数符号f(x_{s1}, \cdots, x_{sm}),用f(x_{s1}, \cdots, x_{sm})代替出现在\\ M中的所有x_r,然后在首标中删除Q_rx_r。对首标中的所有存在量词做上述处\\ 理后，得到一个在首标中没有存在量词的前束范式，这个前束范式就称为公式\\ G的Skolem范式。其用来代替x_r的那些常量符号和函数符号称为公式G的\\ Skolem函数。$

$例3.4.2.G = \exists x \forall y \forall z \exists u \forall v \exists w P(x, y, z, u, v, w) \\\ 用a代替x，用f(y, z)代替u,用g(y, z, v)代替w，得公式G的Skolem范式: \\ \forall y \forall z \forall v P(a, y, z, f(y, z), v, g(y, z, v))。$
$下面我们来讨论公式G与它的Skolem范式S之间的关系。$
$1.G与S的可满足性是等价的。$
$证明：设G是前束范式：\\ G = Q_1x_1 \cdots Q_nx_nM(x_1, \cdots, x_n)设Q_r是从左往右看第一个存在量词。\\ 令G_1 = \forall x_1 \cdots \forall x_{r-1}Q_{r+1}x_{r+1} \cdots Q_nx_n\\ M(x_1, \cdots, x_{r-1}, f(x_1, \cdots, x_{r-1}), x_{r+1}, \cdots, x_n) \\ 其中f(x_1, \cdots, x_{r-1})是代替x_r的Skolem函数。$
$下面证明:\\ 1)满足G_1的解释满足G，\\ 2)满足G的解释，适当扩充后可满足G_1.$
$设个体域为D，取一个满足G_1的解释I，于是，对于每一组(x_1^{\prime}, \cdots, x_{r-1}^{\prime}) \in D^{r-1},\\ 都有f(x_1^{\prime}, \cdots, x_{r-1}^{\prime}) \in D,使得\\ Q_{r+1}x_{r+1} \cdots Q_nx_nM(x_1^{\prime}, \cdots, x_{r-1}^{\prime}, f(x_1^{\prime}, \cdots, x_{r-1}^{\prime}), x_{r+1}, \cdots, x_n)\\ 在I下取1值。\\ 所以\forall x_1 \cdots \forall x_{r-1} \exists x_r Q_{r+1} x_{r+1} \cdots Q_nx_nM(x_1, \cdots, x_n)为真，即I满足G。\\ 反之，取一个满足G的解释I。于是，对每一组(x_1^{\prime}, \cdots, x_{r-1}^{\prime}) \in D^{r-1},\\ 都存在x_r^{\prime} \in D, 使得 Q_{r+1} x_{r+1} \cdots Q_nx_nM(x_1^{\prime}, \cdots, x_{r-1}^{\prime}, x_r^{\prime}, x_{r+1}, \cdots, x_n)\\ 在I下取1值。现在I还不是G_1的解释，因为有函数没有指定，扩充I为I^{\prime}，使其包\\ 含对函数符号f(x_1, \cdots, x_{r-1})的如下指定：f(x_1^{\prime}, \cdots, x_{r-1}^{\prime}) = x_r^{\prime}，对每一组\\ (x_1^{\prime}, \cdots, x_{r-1}^{\prime}) \in D^{r-1}。于是I^{\prime}满足G_1。同理，对G_1往右找下一个存在量词，\\ 用Skolem函数代替得G_2，则G_1与G_2的可满足性是等价的，依次类推，可知G\\ 与S的可满足性是等价的。$

$例3.4.3.设G = \forall x \exists y P(x, y), 则G的Skolem范式为S = \forall x P(x, f(x))$
$设D = \lbrace1, 2 \rbrace 取满足S的解释I如下：$
$\left. \begin{array}{l c c } f(1) & f(2) & P(1, 1) & P(1, 2) & P(2, 1) & P(2, 2) & \\ \hline 2 & 1 & 任意 & 1 & 1 & 任意 & \end{array} \right.$
$则对I不看对函数的解释，也是G的解释，且满足G。$
$反之，取满足G的解释I如下：$
$\left. \begin{array}{l c c } P(1, 1) & P(1, 2) & P(2, 1) & P(2, 2) & \\ \hline 1 & 任意 & 1 & 任意 & \end{array} \right.$
$现在I还不是S的解释，因为有函数没有指定，扩充I为I^{\prime},使其包括对函数的指定$
$\left. \begin{array}{l c c } f(1) & f(2) & \\ \hline 1 & 1 & \end{array} \right.$
$则满足S。$

$2.G与S不等价$
$由1可知，满足G的解释I，不一定满足S，因此在扩充时，\\ 可随意指定Skolem函数的值。\\ 例如，G = \exists x P(x), S = P(a)。\\ 令G和S的解释I如下:D = \lbrace 2, 3 \rbrace,$
$\left. \begin{array}{l c c } a & P(2) & P(3) & \\ \hline 2 & 0 & 1 & \end{array} \right.$
$则I满足G，但I弄假S。$

$3.G与S的恒假性等价$
$定理3.4.2.设S是公式G的Skolem范式，于是，公式G是恒假的充要条件是公式S是恒假的。$
$证：若G恒假，而S可满足，由1知，G是可满足的，矛盾。\\ 若S恒假，而G可满足，由1知，S是可满足的，矛盾。\\ 故定理成立。$