[离散数学]命题逻辑P_6：命题等价公式及应用

最新推荐文章于 2023-05-05 21:46:09 发布

H3T

最新推荐文章于 2023-05-05 21:46:09 发布

阅读量4.7k

点赞数 7

分类专栏： # 第二讲：命题逻辑文章标签：学习

本文链接：https://blog.csdn.net/m0_58991879/article/details/127128886

版权

第二讲：命题逻辑专栏收录该内容

7 篇文章 2 订阅

订阅专栏

[离散数学]命题逻辑P_6：命题等价公式及应用

前言
1. 基本等价关系
- 定理
2. 判断公式类型
- 例1：证明公式类型
- 例2：证明复杂公式间的等价关系
3. 开关电路化简
4. 逻辑电路化简
5. 智力游戏
总结

前言

第六讲：命题公式等价公式及应用

数理逻辑，就是用数学的方法研究逻辑推理的规律。

命题公式( $p ro p os i t i o na l f or m u l a$ )亦称合式公式，是数理逻辑术语，它是按照一定规律形成的符号序列，在命题演算中，公式通常用归纳定义给出。

根据两个公式等价的定义或判定定理，可以利用真值表来证明任意两个公式之间的等价关系，由此得到一组基本等价公式。

本文命题等价公式及应用是命题逻辑的第六部分。

1. 基本等价关系

定理

设 $G, H, S$ 为任意的命题公式。

幂等律
$E_1:G\lor G=G$ ；
$E_2:G\land G=G$ .

同真 - 析取或合取 - 为真
同假 - 析取或合取 - 为假

交换律
$E_3:G\lor H=H \lor G$ ；
$E_4:G\land H=H \land G$ .

析取或合取的对称性

结合律
$E_5:G\lor (H \lor S)=(G \lor H) \lor S$ ；
$E_6:G\land (H \land S)=(G \land H) \lor S$ .

三个公式析取或合取，先算前两个和先算后两个等价。

同一律
$E_7:G\lor 0=G$ ；
$E_8:G\land 1=G$ .

1析取0为1；0析取0为0
1合取1为1；0合取0为0

此处运算律与集合相似，可以通过对比的方式进行记忆。
析取对应集合的并运算，合取对应集合的交运算。
0对应空集；1对应全集。

零律
$E_9:G\lor 1=1$ ；
$E_{10}:G\land 0=0$ .

析取有一个为1，则为1
合取有一个为0，则为0

分配律
$E_{11}:G\lor (H \land S)=(G \lor H)\land (G\lor S)$ ；
$E_{12}:G\land (H \lor S)=(G \land H)\lor (G\land S)$ .
吸收律
$E_{13}:G\lor (G \land H)=G$ ；
$E_{14}:G\land (G \lor H)=G$ .

外层析取，内层合取；
外层合取，内层析取。
$H$ 就被吸收掉了，用于化简公式，可用于证明中。

矛盾律
$E_{15}:\lnot G\land G = 0$ .
排中律
$E_{16}:\lnot G\lor G = 1$ .
双重否定律
$E_{17}:\lnot (\lnot G) = G$ .
德摩根律
$E_{18}:\lnot (G \lor H) = \lnot G \land \lnot H$ ;
$E_{19}:\lnot (G \land H) = \lnot G \lor \lnot H$ .

析取的否定=否定的合取；
合取的否定=否定的析取。
主要用于公式的变形

蕴涵式
$E_{20}:G \rightarrow H) = \lnot G \lor H$ .

将蕴涵联结词转化为否定联结词和析取联结词
常用，用于消除或添加蕴涵联结词。

假言易位
$E_{21}:G \rightarrow H = \lnot H \rightarrow \lnot G$ .

如果 $G$ 则 $H$ ，等价于如果 $\lnot H$ 则 $\lnot G$ 。
即逆否命题，原命题为真，则逆否命题为真；原命题为假，则逆否命题为假。

等价式
$E_{22}:G \leftrightarrow H = (G \rightarrow H) \land (H \rightarrow G) = (\lnot G \lor H) \land (\lnot H \lor G)$ .

等价联结词 - 转化为蕴涵联结词 - 转化为否定联结词和析取联结词。
可用于消去或添加等价联结词。

等价否定等式
$E_{23}:G \leftrightarrow H = \lnot G \leftrightarrow \lnot H$ .

$G$ 等价 $H$ ， $\lnot G$ 也等价 $\lnot H$

归谬论
$E_{24}:(G \rightarrow H) \land (G \rightarrow \lnot H) = \lnot G$ .

即反证法，假设结论不成立，找出矛盾，说明假设不正确，证明原结论成立。
如果 $G$ ，则 $H$ ，且如果 $G$ ，则 $\lnot H$ ，存在矛盾 - 说明 $G$ 不成立，即 $\lnot G$ 。

2. 判断公式类型

例1：证明公式类型

利用命题公式的基本等价关系，证明 $(P→Q)\land P→Q$ 是重言式。

证明

通常第一步 - 通过蕴含式消去蕴涵联结词 - 蕴涵联结词不方便进行变换和化简。

$\left( P\rightarrow Q \right) \land P\rightarrow Q$
$=(\lnot P \lor Q) \land P \rightarrow Q = \lnot (( \lnot P \lor Q) \land P) \lor Q$ （蕴含式）

消去第二个蕴涵联结词时，【 $(\lnot P \lor Q) \land P$ 】整体为蕴涵的前件，对整体取否定。
公式【 $\lnot((\lnot P \lor Q) \land P)$ 】结构为合取后取否定，符合德摩根律。
公式【 $\lnot (\lnot P \lor Q)$ 】结构为合取后取否定，符合德摩根律。

$=(\lnot (\lnot P \lor Q) \lor \lnot P) \lor Q = ((P \land \lnot Q) \lor \lnot P)\lor Q$ （德摩根律）

公式【 $\land \lnot Q) \lor \lnot P$ 】，内层为合取，外层为析取，符合分配律，将其展开。

$\lor \lnot P) \land (\lnot Q \lor \lnot P)) \lor Q$ （分配律）

公式【 $\lor \lnot P$ 】符合排中律，结果为1。

$\land (\lnot Q \lor \lnot P)) \lor Q$ （排中律）

公式【 $\land (\lnot Q \lor \lnot P)$ 】符合同一律。

$=(\lnot Q \lor \lnot P) \lor Q$ （同一律）

公式【 $(\lnot Q \lor \lnot P) \lor Q$ 】中三个部分间都是析取，可使用结合律和交换律。

$=(\lnot Q \lor Q)\lor \lnot P$ （结合律，交换律）

公式【 $\lnot Q \lor Q$ 】符合排中律，结果为1。

$=1\lor \lnot P$ （排中律）

根据零律，1析取任何一个值都为1

$= 1$ （零律）

此类问题主要是变形和化简的过程，先对蕴涵或等价联结词进行消去，然后运用德摩根律、分配律、结合律、交换律等，将相同的命题变元放在一起进行化简，直到可以确定公式的类型为止。

例2：证明复杂公式间的等价关系

利用命题公式的基本等价关系，证明 $P→(Q→R)=(P\land Q)→R$ 。

证明
             $P \to (Q \to R)$
$=\lnot P \lor (Q\rightarrow R)$      （蕴含式）
$=\lnot P \lor (\lnot Q\lor R)$     （蕴含式）
$=(\lnot P \lor \lnot Q) \lor R$     （结合律）
$=\lnot ( P \land Q) \lor R$        （德摩根律）
$\land Q) \rightarrow R$         （蕴含式）

3. 开关电路化简

利用命题公式的基本等价关系，化简如下图所示开关电路。

解
$((P\land Q \land R)\lor (P\land Q \land S)) \land ((P\land R) \lor (P \land S))$
$=(P\land Q \land (R\lor S)) \land (P \land (R \lor S))$
$=P\land Q \land (R\lor S) \land P \land (R \lor S)$
$=P\land Q \land (R\lor S)$