离散数学 02.03 命题公式的等价关系和蕴涵关系

$\color{blue}{\S 2.3 命题公式的等价关系和蕴涵关系}$

$\color{blue}{2.3.1 公式的等价}$

$定义2.3.1.公式G，H说是等价的，记以G = H，如果G，H在其任意解释I下，\\ 其真值相同。$
$显然，G = H时，公式G，H等价的充要条件是公式G \leftrightarrow H是恒真的。$
$两个公式间的等价关系，有反射性，对称性和传递性。$

$基本等价公式：$
$1) (G \leftrightarrow H) = (G \to H) \land (H \to G);$
$2) (G \to H) = (\lnot G \lor H);$
$3) G \lor G = G, G \land G = G; (等幂律)$
$4) G \lor H = H \lor G, G \land H = H \land G; (交换律)$
$5) G \lor (H \lor S) = (G \lor H) \lor S, \\ \quad G \land (H \land S) = (G \land H) \land S; (结合律)$
$6) G \lor (G \land H) = G, G \land (G \lor H) = G; (吸收律)$
$7)G \lor (H \land S) = (G \lor H) \land (G \lor S), \\ \quad G \land (H \lor S) = (G \land H) \lor (G \land S); (分配律)$
$8)G \lor 0 = G; G \land 1 = G; (同一律)$
$9)G \land 0 = 0, G \lor 1 = 1; (零一律)$
$10)\lnot (G \lor H) = \lnot G \land \lnot H, \\ \quad \lnot (G \land H) = \lnot G \lor \lnot H (De Morgan律)$

$定义2.3.2.设Q是逻辑运算符集合，若所有逻辑运算都能由Q中元素表示出来，\\ 而Q的任意真子集无此性质，则称Q是一个完备集。$
$可以证明,\lbrace \lnot, \land \rbrace, \lbrace \lnot, \lor \rbrace都是完备集。$

$定义2.3.3.设P，Q是两个命题，命题“P与Q的否定”称为P与Q的与非式，\\ 记作P \uparrow Q。\uparrow称为与非联结词。P \uparrow Q为真当且仅当P，Q不同时为真。\\ 即: P \uparrow Q = \lnot (P \land Q)$

$定义2.3.4.设P，Q是两个命题，命题“P或Q的否定”称为P与Q的或非式，\\ 记作P \downarrow Q, \downarrow 称为或非联结词。P \downarrow Q为真当且仅当P，Q同时为假。即: \\ P \downarrow Q = \lnot (P \lor Q)。$

$证明\lbrace \uparrow \rbrace 是完备集。\\ \lnot P = P \uparrow P \\ P \lor Q = (P \uparrow P) \uparrow (Q \uparrow Q) \\ P \land Q = (P \uparrow Q) \uparrow (P \uparrow Q)$

$\lbrace \downarrow \rbrace也是完备集。$

$逻辑的一个重要功能是研究推理。固然，依靠等价关系可以进行推理。但是进行推理时，\\ 不必一定要依靠等价关系，只需是蕴涵关系就可以了。$
$例如，若三角形等腰，则两底角相等，\\ 这个三角形等腰，所以，这个三角形两个底角相等。$
$又如，若行列式两行成比例，则行列式值为0，\\ 这个行列式两行成比例，所以，这个行列式值为0。$
$上面两个例子的推理关系涵义不同，但依据的推理规则相同，\\ 推理形式为:若P则Q；P，所以Q。$
$推理的正确性与命题P，Q涵义无关，只决定于逻辑形式，命题逻辑中用\\ 公式表示命题，命题间演绎推理关系，反映为公式间逻辑蕴涵关系。$

$定义2.3.5.设G，H是两个公式。称H是G的逻辑结果(或称G蕴涵H)，当且仅当对\\ G，H的任意解释I，如果I满足G，则I也满足H，记作G \Rightarrow H。$
$注意：符号\Rightarrow和符号=一样，它们都不是逻辑联结词，\\ 因此，G=H，G \Rightarrow H也都不是公式。\Rightarrow是一种部分序关系。$

$公式G蕴涵公式H的充要条件是：公式G \to H是恒真的。$
$例如，(P \land Q) \Rightarrow P, (P \land Q) \Rightarrow Q$

$定义2.3.6.设G_1, \cdots, G_n, H是公式。称H是G_1, \cdots, G_n的逻辑结果\\ (或称G_1, \cdots, G_n共同蕴涵H)，当且仅当公式G_1 \land \cdots \land G_n蕴涵H。$
$公式H是G_1, \cdots, G_n的逻辑结果的充要条件是：公式((G_1 \land \cdots \land G_n) \to H)是恒真的。$
$例如，P，P \to Q共同蕴涵Q。$

$定理2.3.1.如果H_1, \cdots, H_m, P共同蕴涵公式Q，\\ 则H_1, \cdots, H_m共同蕴涵公式P \to Q。$
$证：因为(H_1 \land \cdots \land H_m \land P) \Rightarrow Q, \\ 所以公式(H_1 \land \cdots \land H_m \land P) \to Q是恒真的。\\ 利用下面的基本等价公式:\\ P_1 \to (P_2 \to P_3) = (P_1 \land P_2) \to P_3 于是, \\ (H_1 \land \cdots \land H_m \land P) \to Q = (H_1 \land \cdots \land H_m) \to (P \to Q)。\\ 故(H_1 \land \cdots \land H_m) \to (P \to Q) 是恒真的。\\ 所以 H_1, \cdots, H_m共同蕴涵P \to Q。$
$例如，因为公式P \to Q,Q \to R, P 共同蕴涵R，\\ 所以P \to Q, Q \to R共同蕴涵P \to R。$

$定义2.3.7.设S是一个命题公式的集合(前提集合)。从S推出公式G的一个演绎是公\\ 式的一个有限序列：G_1, \cdots, G_k其中，G_i或者属于S，或者属于某些G_j(j < i)\\ 的逻辑结果。并且G_k就是G。我们称公式G为此演绎的逻辑结果，或称从S演绎出\\ G。有时也记为S \Rightarrow G。$
$例如，设S = \lbrace P \lor Q, Q \to R, P \to M, \lnot M \rbrace, 则下面的公式序列\\ \lnot M, P \to M, \lnot P, P \lor Q, Q, Q \to R, R \\ 就是从S推出R的一个演绎。$

$从演绎的定义知，演绎中仅仅使用了蕴涵的概念，也就是说，\\ 演绎是在蕴涵概念下进行的。下面给出的定理说明，演绎也是\\ 一种蕴涵，只不过换了一种形式。$

$引理：设G，H_1，H_2是公式。如果G蕴涵H_1, G蕴涵H_2,则G蕴涵H_1 \land H_2。$
$证明：任取G，H_1,H_2的一个解释I。\\ 若I满足G，由假设知，I满足H_1, I满足H_2,故I满足H_1 \land H_2。\\ 由I的任意性，所以G \Rightarrow (H_1 \land H_2)。$

$定理2.3.2.设S是公式集合，G是一个公式。\\ 从S演绎出G的充要条件是G是S的逻辑结果。$
$证：必要性，设从S演绎出G，令G_1, \cdots, G_k是这个演绎。\\ 对任意G_i(i = 1, 2, \cdots, k),往证G_i是S的逻辑结果。\\ 对I用归纳法。\\ 当i=1时，因G_1 \in S,显然G_1 \land \cdots \to G_1是恒真公式，\\ 故S \Rightarrow G_1, 即G_1是S的逻辑结果.\\ 设i < n时，命题成立。\\ 当i = n时，若G_n \in S,则S \Rightarrow G_n,归纳法完成。\\ 若G_n是某些G_j(j < n)的逻辑结果，不妨设(G_{j1} \land \cdots \land G_{jh}) \Rightarrow G_n \quad(1) \\ 其中j1, \cdots, jh都小于n。由归纳假设知，S \Rightarrow G_{jm}, m = 1, \cdots, h。\\ 由引理知：S \Rightarrow (G_{ji}, \land \cdots \land G_{jh}) \quad (2) \\ 根据(1),(2)式即蕴涵关系的传递性，得S \Rightarrow G_n，即G_n是S得逻辑结果，归纳完成。\\ 充分性，若G是S的逻辑结果，由演绎的定义知，\\ G是如下演绎：G_1, \cdots, G_k, G的逻辑结果，其中G_1, \cdots, G_k是S中所有公式$

$定理2.3.3.设S是前提公式集合，G，H是两个公式。如果从S \cup \lbrace G \rbrace \\ 可演绎出H，则从G可演绎出G \to H。$
$证：因为从S \cup \lbrace G \rbrace 可演绎出H，\\ 由定理2知，H是S \cup \lbrace G \rbrace 的逻辑结果。\\ 亦即(G_1 \land \cdots \land G_k \land G) \Rightarrow H \\ 其中G_1, \cdots, G_k是S中所有公式。\\ 由定理2.3.1知：(G_1 \land \cdots \land G_k) \Rightarrow (G \to H) \\ 即G \to H是S的逻辑结果，\\ 再由定理2.3.2知，从S可演绎出G \to H。$

$在命题逻辑中进行演绎，要不断地使用已知的蕴涵公式，过去我们知道的基本\\ 等价式当然可以当作两个蕴涵式使用，因为G = H的充要条件是(G \Rightarrow H)\\ 和(H \Rightarrow G)，下面我们在给出一个基本蕴涵式，以便在演绎时使用。$
$基本蕴涵式：$
$1. P \land Q \Rightarrow P$
$2. P \land Q \Rightarrow Q$
$3. P \Rightarrow P \lor Q$
$4. Q \Rightarrow P \lor Q$
$5. \lnot P \Rightarrow (P \to Q)$
$6. Q \Rightarrow (P \to Q)$
$7. \lnot (P \to Q) \Rightarrow P$
$8. \lnot (P \to Q) \Rightarrow \lnot Q$
$9. P, Q \Rightarrow P \land Q$
$10. \lnot P, P \lor Q \Rightarrow Q$
$11. P, P \to Q \Rightarrow Q$
$12. \lnot Q, P \to Q \Rightarrow \lnot P$
$13. P \to Q, Q \to R \Rightarrow P \to Q$
$14. P \lor Q, P \to R, Q \to R \Rightarrow R$

$至此，给出两个公式G，H，证明G蕴涵H，我们有如下五种方法:$
$1.真值表法；\\ 2.证G \to H是恒真公式; \\ 3.利用基本等价式即蕴涵式进行推导；\\ 4.任取解释I，若I满足G,往证I满足H；\\ 5.反证法，设结论假，往证前提假。$
$若给出前提集合 S = \lbrace G_1, \cdots, G_k \rbrace, 公式G，证明S \Rightarrow G有如下两种方法:$
$1.G_1 \land \cdots \land G_k \Rightarrow G \\ 2. 形式演绎法：根据一些基本等价式和基本蕴涵式，从S出发，演绎出G，\\ 在演绎过程中我们遵循以下三条规则：\\ 规则1：可随便使用前提。(根据演绎定义)\\ 规则2：可随便使用前面演绎出的某些公式的逻辑结果。(根据演绎的定义)\\ 规则3：如果需要演绎出的公式是P \to Q的形式，则我们可将P作为附加前提使用，\\ 而力图去演绎出Q。(根据定理2.3.3)$

$例2.3.1.证明 \lbrace (P \lor Q), (P \to R), (Q \to S) \rbrace \Rightarrow S \lor R$
$证：\\ 1. P \lor Q \quad 规则1 \\ 2. \lnot P \to Q \quad 规则2，根据1 \\ 3. Q \to S \quad 规则1 \\ 4. \lnot P \to S \quad 规则2， 根据2，3 \\ 5. \lnot S \to P \quad 规则2，根据4 \\ 6. P \to R \quad 规则1 \\ 7. \lnot S \to R \quad 规则2， 根据5， 6\\ 8. S \lor R \quad 规则2，根据7$

$例2.3.2.证明\lbrace P \to (Q \to S), \lnot R \lor P, Q \rbrace \Rightarrow R \to S$
$证：\\ 1. \lnot R \lor P \quad 规则1 \\ 2. R \quad 规则3 \\ 3. P \quad 规则2，根据1，2\\ 4. P \to (Q \to S) \quad 规则1 \\ 5. Q \to S \quad 规则2， 根据3，4\\ 6. Q \quad 规则1 \\ 7. S \quad 规则2，根据5， 6 \\ 8. R \to S \quad 规则3，根据2，7$

$例2.3.3.若厂方拒绝加工资，则罢工不会停止，除非罢工超过一年并且工厂经理\\ 辞职。问：如果厂方拒绝增加工资，而罢工又刚刚开始，罢工是否能停止？$
$令\\ P:厂方拒绝增加工资；\\ Q:罢工停止；\\ R:工厂经理辞职；\\ S:罢工超过一年。\\ 于是，\\ G_1:(P \land \lnot(R \land S)) \to \lnot Q \\ G_2:P \\ G_3: \lnot S \\ H: \lnot Q$
$我们要证明：H是\lbrace G_1, G_2, G_3 \rbrace逻辑结果。$
$1. \lnot S \quad 规则1 \\ 2. \lnot S \lor \lnot R \quad 规则2，根据1 \\ 3. \lnot (R \land S) \quad 规则2，根据2 \\ 4. P \quad 规则1 \\ 5. P \land \lnot (R \land S) \quad 规则2，根据3，4 \\ 6. (P \land \lnot (R \land S)) \to \lnot Q \quad 规则1 \\ 7. \lnot Q \quad 规则2， 根据5，6 \\ 亦即，罢工不会停止。$