离散数学知识点总结（5）：蕴含式；命题的推理理论；逻辑推演的方法；推理的有效性证明

前情回顾

• $p\to q$ 这叫做单条件蕴含，它的等价式为 $\neg p\vee q$ (这是较小的层面，是 clause 层面的关系)

蕴含式 $\models$ 或 $\Rightarrow$

如果现在有两个合式公式 （这是较大的层面，两个合式公式之间的关系）

• $A:(a_1\vee a_2)\wedge (a_3\vee a_4)...(a_n\vee a_{n+1})$
• $B:(b_1\vee b_2)\wedge (b_3\vee b_4)...(b_n\vee b_{n+1})$
• 如果能证明 $A\to B$ 是个永真式，那么我们可以说 $A\Rightarrow B$ （A 蕴含 B），或者表示为 $A\models B$，这个式子 $A\models B$ 成为蕴含式，也叫做 永真的条件式； 此时，$A$ 称为蕴含式的前提（前件），$B$ 称为蕴含式的结论（后件）

蕴含式和等价式的关系（$\equiv$ 或 $\iff$）

$A\equiv B$ 相当于 $A\models B$ 且 $B\models A$

• 注意，这里用的是 “且”，而不是 $\wedge$ 因为这是公式之间的关系，而不是子句之间的关系，不能用逻辑联结词。
• 等价式和蕴含式，都不是公式，因为他们表示的是不同公式之间的关系！！！！

证明蕴含式的方法

• 要证明 $A\models B$ 就证明 $A\to B$ 是重言式（tautology）；可以通过真值表
• 逻辑推演：证明蕴含关系要用逻辑推演。

逻辑推演的方法

• 前件真推后件真
• 后件假推前件假
  
  Example
  

逻辑推演使用的 9 个基本蕴含式

• 证明蕴含关系的基本方法：真值表法 、逻辑推演法。
• 逻辑推演法在上面我们也做了简单的展示；除了直接分析公式的真假之外，我们引入了 9 个基本的蕴含式；可以帮助进行逻辑推演**（就像在命题逻辑的等值演算一样，可以通过公式的替换来简化证明过程）**

基本蕴含式	公式	解释
附加律	$A\models (A\vee B)$	$A$ 是真，$A\vee B$ 一定为真，满足前真推后真
化简律	$(A\wedge B)\models A$	$A$ 是假，$A\wedge B$ 一定为假，满足后假推前假
假言推理	$(A\to B)\wedge A\models B$	$(A\to B)$ 是真的，$A$ 也是真的，所以 $B$ 必须是真的
拒取式	$(A\to B)\wedge \neg B\models \neg A$	$(A\to B)$ 是真的，$\neg B$ 也是真的，$B$ 是假的，因此 $A$ 一定也是假的
析取三段论	$(A\vee B)\wedge \neg B\models A$	$B$ 是假的，$(A\vee B)$ 是真的，所以 $A$ 一定是真的
假言三段论	$(A\to B)\wedge (B\to C)\models (A\to C)$	单条件蕴含的传递性
等价三断论	$(A\leftrightarrow B)\wedge (B\leftrightarrow C)\models (A\leftrightarrow C)$	双条件蕴含的传递性
构造性二难推理	$(A\to B)\wedge (C\to D)\wedge (A\vee C)\models (B\vee D)$	$A,C$ 中至少有一个是真的，而且 $(A\to B),(C\to D)$ 都是真的，因此 $B,D$ 有一个是真的，$A$ 如果是真的，那么 $C$ 就是真的，如果 $B$ 是真的，那么 $D$ 就是真的；$A,C$ 都真，则 $B,D$ 都真
破坏性二难推理	$(A\to B)\wedge (C\to D)\wedge (\neg B\vee \neg D)\models (\neg A\vee \neg C)$	$B,D$ 至少有一个是假的，因此，$A,C$ 中至少有一个是假的（结合$(A\to B),(C\to D)$ 的真值表）

推理的有效性证明

有效论证

假设 $A_1,A_2,...A_n$ 都是命题公式，$B$ 也是命题公式，

• 如果对于 $A_1\wedge A_2\wedge ...A_n\models B$，$A_1\wedge A_2\wedge ...A_n$ 为假，那么 $A_1\wedge A_2\wedge ...A_n\models B$ 这个推理是有效的；
• 或者 $A_1\wedge A_2\wedge ...A_n$ 为真时，$B$ 也为真，那么称这个推理是有效的。
• 总结就是：前件假的时候，无论如何推理都是有效的，前件真的时候，后件也要为真，推理才有效。
• 如果证明 $A_1\wedge A_2\wedge ...A_n\models B$ 是有效的，那么我们称 $B$ 是 有效的结论

无效论证

• 若前提都是真命题，而结论是假命题（前真推后假，那么是无效论证）。
• 即 $A_1\wedge A_2\wedge ...A_n\models B$ 中$A_1\wedge A_2\wedge ...A_n$ 为真，但是 $B$ 是假。

一定要注意论证（推理） 的有效性 （Valid） 和 真（True） 的区别

Example

• 有效论证不一定 产生真实的结论，比如如果 前件假（false） 的，那么这个推论（论证）一定是有效的（valid）；但是可能是 $前假\models 后假$，得到的结论还是个假的，但推理确实有效的。
• 有效论证中可能包含假的前提，而无效的论证中却可能包含真的前提；例如 $前真\models 后假$ 这个推理就是无效的，但是前提是真的。
• 如果前提全是真的，那么有效结论也一定是真的。因为这就是 $前真\models 后真$ 才能使得推理是有效的，因为 $前真\models 后假$ 这个推理是无效的。

有效论证的 4 种判断方法

判断的方法分为两大类：

• 采用不同方法来证明 推理对应的单条件蕴含式是个永真（重言式）式：
  • 真值表法
  • 等值演算法
  • 主析取范式法
• 采用逻辑推演法证明：（$前真\models 后真$ 或者 $前假\models 后真$ 或者 $前假\models 后假$ 或者 $后假\models 前假$）
  

例题：

判断下列推理是否正确：

• 若 a 能被 4 整除，则 a 能被 2 整除。 a 能被 4 整除，所以 a 能被 2 整除

  • 构造推理公式：
    • $p$： a 能被 4 整除；
    • $q$：a 能被 2 整除；
    • $p\to q$：若 a 能被 4 整除，则 a 能被 2 整除
    • $(p\to q)\wedge p\models q$：若 a 能被 4 整除，则 a 能被 2 整除。 a 能被 4 整除，所以 a 能被 2 整除
  • 逻辑推演法：
    • 采用 前真 $\models$ 后真 的思路
    • $p\equiv T$, $p\to q\equiv T$ 所以 $q\equiv T$ 所以推理是正确的。（就是假言推理形式）

• 下午马芳去游泳或去看电影，他没去看电影。所以他去游泳了

  • 构造推理公式：
    • $p$： 下午马芳去看电影；
    • $q$：下午马芳去游泳；
    • $p\oplus q$：下午马芳去游泳或去看电影 $\equiv (\neg p\wedge q)\vee (p\wedge \neg q)$
    • $\neg p$：马芳下午没去看电影
    • $(\neg p\wedge q)\vee (p\wedge \neg q)\wedge \neg p\models q$ ：下午马芳去游泳或去看电影，他没去看电影。所以他去游泳了
  • 逻辑推演法：
    • 采用 前真 $\models$ 后真 的思路
    • $(\neg p\equiv T)\equiv (p\equiv F)$,
    • $p\wedge \neg q\equiv F$ 所以 $(\neg p\wedge q)\equiv T$ 所以 $q\equiv T$ 所以符合前真推后真。