第一章命题逻辑（数理逻辑）

最新推荐文章于 2023-08-19 15:45:00 发布

xxatz

最新推荐文章于 2023-08-19 15:45:00 发布

阅读量492

点赞数

分类专栏：计算机菜鸡之离散数学文章标签：逻辑推理

本文链接：https://blog.csdn.net/xxayt/article/details/122014181

版权

计算机菜鸡之离散数学专栏收录该内容

11 篇文章 2 订阅

订阅专栏

文章目录

第一章命题逻辑

第一章命题逻辑

1.1 命题与逻辑联结词 Propositional Logic

命题定义：
1. 陈述句 Declaration Sentence
2. True or false, Not Both
注意：疑问句 $\times$ ，祈使句 $\times$ ，无法判断对错 $\times$ （ $1+1=2\times$ 无法判断十进制还是二进制？？？），主观感受 $\times$ ，若有上下文可判断对错。
命题变量 Propositional variables： $p, q, r, s$
关系命题 Compound Propositional：
1. 非，否 lnotation： $\lnot p$
2. 合取 Conjunction： $p\land q$ （ $a n d$ ，并且）
3. 析取 Disjunction，容斥合 Inclusive Or： $p\lor q$ （ $o r$ ，或）
4. 排斥合 Exclusive Or： $p\oplus q$ （ $x o r$ ，异或）

条件联结词 Implication/ Conditional Statement：

单条件： $p(条件)\rightarrow q(结论)$ . （韦恩图中 $\color{red}\overline{p-q}$ ）
双条件 Biconditional： $\longleftrightarrow q$ （韦恩图中 $\color{red}(p\bigcap q)\bigcup \overline{(p\bigcup q)}$ ）（=if and only if 当且仅当 = necessary and sufficient 充分必要条件 = 反之亦然） $\iff \neg(p\oplus q)$

p	q	$p\rightarrow q$	$\longleftrightarrow q$
T	T	T	T
T	F	$\color{red}F$	$\color{red}F$
F	T	T	$\color{red}F$
F	F	T	T

注意： $p, q$ 之间不需要有关， $p\rightarrow q$ 仅确定形式，不确定内容

记忆：p 代表人诚实，q 代表话对错， $p\rightarrow q$ 代表推理看法

Different Ways of Expressing $p\rightarrow q$	pq
if p, then q	11
if p, q	11
$\color{white}\colorbox{red}{Star}$ ：q unless $\lnot$ p （q 为真除非 $\lnot$ p 为假）（unless 记为 if not）	11
q if p	11
q whenever p	01,11
q follows from p	11,00
p implies q	11,00
$\color{white}\colorbox{red}{Star}$ ：p only if q （p 为真仅当 q 为真）	11
q when p	11
p is sufficient for q	/
q is necessary for p	/

必要条件 Necessary Condition，充分条件 Sufficient Condition

$p\rightarrow q$ 逆命题 Converse： $p\rightarrow q$
$p\rightarrow q$ 逆反命题 Contrapositive： $\lnot q\rightarrow \lnot p$
$p\rightarrow q$ 反命题 Inverse： $\lnot p\rightarrow \lnot q$
举例：p 表示不下雨，q 表示去逛街
1. $p\rightarrow q$ ：不下雨，就去逛街
2. 逆命题 $p\rightarrow q$ ：去逛街，就（一定是因为）不下雨
3. 逆反命题 $\lnot q\rightarrow \lnot p$ ：不逛街，就是（因为）下雨（了）
4. 反命题 $\lnot p\rightarrow \lnot q$ ：下雨，就不去逛街

复合命题的真值表 Truth table for Compound Propositions:

等价命题 Equivalent Propositons：有相同的真值表
- 逆反命题与原命题等价
- 逆命题与反命题等价

p	q	$\lnot$ p	$\lnot$ q	原命题 $p\rightarrow q$	逆命题 $q\rightarrow p$	逆反命题 $\lnot q\rightarrow \lnot p$	反命题 $\lnot p\rightarrow \lnot q$
T	T	F	F	T	T	T	T
T	F	F	T	$\color{red}F$	T	$\color{red}F$	T
F	T	T	F	T	$\color{red}F$	T	$\color{red}F$
F	F	T	T	T	T	T	T

行数：n 个变量的真值表有 $2^n$ 行
既然一个命题 n 个变量有 $2^n$ 种情况，那 n 个变量的 $2^n$ 种结果可构成 $2^{2^n}$ 种不同真值表。

优先级 Precedence：若没有括号， $\lnot$ 最高，其余优先级相同，从左向右读取。
位运算 Bit Operations：按位（bitwise）计算

1.2 命题公式及其赋值 Application of Propositional Logic

自然语言符号化 Translating：
1. 找到原子(不可再分)命题 atomic propositional
2. 确定合适的关系，注意格式
例：“You cannot ride the roller coaster(过山车) if you are under 4 feet tall unless you are older than 16 years old.”

解：
$p：“\text{You can ride the roller coaster}” \\q：“\text{You are under 4 feet tall}” \\r：“\text{You are older than 16 years old}”. \\ \color{red}(q\land \lnot r)\rightarrow \lnot p.$
系统规范说明 System Specificatons：
- 一致性 Consistent：不能前后矛盾
例：$(1)p\lor q;(2)\lnot p;(3)p\rightarrow q;(4)\lnot q $

解： $(4)\color{red}\times$

解释：若一致，要找到一种变量的可能情况，使命题均满足
Logic Puzzles
Logic Circuits

1.3 命题公式的等价 Propositional Equivalences

定义1：
1. 永真式(重言式) Tautology：例 $p\lor \lnot p$
2. 永假式(矛盾式) Contradiction：例 $p\land \lnot p$
3. 可满足式(可能式) Contingency：例 $p$

p	$\lnot$ p	$p\lor \lnot p$	$p\land \lnot p$
T	F	T	F
F	T	T	F

定理1.3： $p\leftrightarrow q$ 为永真式(Tautology) $\iff$ 两个复合命题逻辑等价(Equivalent)，真值表相同。记为 $p\iff q$ 或 $p\equiv q$ 。

证明：充分性，必要性（运用了永真式，等价，双条件的定义）

注意 $\iff$ 与 $\longleftrightarrow$ 的区别：

$\longleftrightarrow$ $\iff$
**双条件词(**逻辑连结词) **逻辑等价(**等价关系)
$p\longleftrightarrow q$ 是命题公式 $p\iff q$ 不是命题公式

常见等价命题：

$\longleftrightarrow$	$\iff$
双条件词(逻辑连结词)	逻辑等价(等价关系)
$p\longleftrightarrow q$ 是命题公式	$p\iff q$ 不是命题公式

名称	等式	等式
同一律 Identity laws	$E_{13}:\;p\lor T\iff p$	$E_{14}:\;p\land F\iff p$
零律 Dominaton laws	$E_{15}:\;p\lor F\iff F$	$E_{16}:\;p\land T\iff T$
幂等律 Idempotent laws	$E_3:\;p\lor p\iff p$	$E_4:\;p\land p\iff p$
双重否定律 Double lnotation laws	$E_{19}:\;\lnot(\lnot p)\iff p$	$p\iff \lnot(\lnot p)$
交换律 Commutative laws	$E_5:\;p\lor q\iff q\lor p$	$E_6:\;p\land q\iff q\land p$
结合律 Associative laws	$E_7:\;(p\lor q)\lor r\iff p\lor (q\lor r)$	$E_8:\;(p\land q)\land r\iff p\land (q\land r)$
$\color{white}\colorbox{red}{Star}$ ：分配律 Distributive laws	$E_{11}:\;p\lor (q\land r)\iff (p\lor q)\land (p\lor r)$	$E_{12}:\;p\land (q\lor r)\iff (p\land q)\lor (p\land r)$
德摩根定律 De Morgan’s laws	$E_{23}:\;\lnot(p\lor q)\iff \lnot p\land \lnot q$	$E_{24}:\;\lnot(p\land q)\iff \lnot p\lor \lnot q$
吸收律 Absorption laws	$E_9:\;(p\lor (p\land q)\iff p$	$E_{10}:\;(p\land (p\lor q)\iff p$
矛盾律 lnotation laws	$E_{17}:\;p\lor \lnot p\iff T$	$E_{18}:\;p\land \lnot p\iff F$
输出律	$E_{20}:(G\land H)\rightarrow S\iff G\rightarrow(H\rightarrow S)$	/
排中律	$E_{21}:(G\lor H)\iff (\neg G\land H)\lor(G\land \neg H)$	/
逆反律	$E_{22}:P\rightarrow Q\iff\neg Q\rightarrow \neg P$	/

必背等式：

${\color{white}\colorbox{red}{Star}}\;E_2\;$ ： $p\rightarrow q\iff\lnot p\lor q$	$E_1:\;p \leftrightarrow q\iff (p\rightarrow q)\land(q\rightarrow p)$
$(p\rightarrow q)\land(p\rightarrow r)\iff p\rightarrow(q\land r)$	$(p\rightarrow q)\lor(p\rightarrow r)\iff p\rightarrow(q\lor r)$
$(p\rightarrow r)\land(q\rightarrow r)\iff (p\lor q)\rightarrow r$	$(p\rightarrow r)\lor(q\rightarrow r)\iff (p\land q)\rightarrow r$

记忆：一指多不变（号），多指一变（号）

1.4 联结词的完备集

其他联结词：
1. 与非：
2. 或非：
3. 条件否定：
联结词的内在联系：
功能完备集：
- 最小功能完备集：

1.5 命题公式的范式表示

1.6 命题公式的蕴涵

定义1.18：若 $A$ 为真时 $B$ 也为真（ $A$ 为假时不考虑），则称** $A$ 蕴含 $B$ **，并记为 $A\Rightarrow B$ .（韦恩图中 $\color{red}A\supset B$ ）

定理1.11： $(A\Longrightarrow B)\iff (A\longrightarrow B$ 为永真式）

注意 $\Longrightarrow$ 与 $\longrightarrow$ 的区别：

$\longrightarrow$ $\Longrightarrow$
命题联结词公式间关系符
$A\longrightarrow B$ 是命题公式 $A\Longrightarrow B$ 不是命题公式，仅表示蕴含关系

性质：
1. 自反性： $A\Longrightarrow A$
2. 反对称性：若 $A\Longrightarrow B$ 且 $B\Longrightarrow A$ ，则有 $A\Longleftrightarrow B$
3. $A\Longrightarrow B$ 且 $A$ 为永真式，则 $B$ 必为永真式
4. 传递性：若 $A\Longrightarrow B$ 且 $B\Longrightarrow C$ ，则有 $A\Longrightarrow C$
5. $\color{white}\colorbox{red}{Star}$ ：若 $A\Longrightarrow B$ 且 $A\Longrightarrow C$ ，则有 $A\Longrightarrow B\land C$ ，反之亦然
6. $\color{white}\colorbox{red}{Star}$ ：若 $A\Longrightarrow C$ 且 $B\Longrightarrow C$ ，则有 $A\lor B\Longrightarrow C$ ，反之亦然
  
  证明：
  $\begin{aligned} &A\Longrightarrow C且B\Longrightarrow C \\ &(A\rightarrow C)\land(B\rightarrow C)是永真式 \\&(A\lor B)\rightarrow C是永真式 \\&A\lor B\Longrightarrow C \end{aligned}$
7. $C P$ 规则基础： $A\land B\Longrightarrow C$ 当且仅当 $A\Longrightarrow B\rightarrow C$
8. 反证法基础： $(A\Longrightarrow B)\iff (A\land\neg B)$ 是矛盾式
9. 逆向思维基础： $(A\Longrightarrow B)\iff (\neg B\Longrightarrow \neg A)$
蕴含定律(基本关系式)：
1. $\color{white}\colorbox{red}{Star}$ 扩充法则(析取引入律) $I_1$ ： $P\Longrightarrow P\lor Q$ ， $Q\Longrightarrow P\lor Q$ ， $\neg P\Longrightarrow P\rightarrow Q$ ， $Q\Longrightarrow P\rightarrow Q$
2. $\color{white}\colorbox{red}{Star}$ 化简法则(合取消去律) $I_2$ ： $P\land Q\Longrightarrow P$ ， $P\land Q\Longrightarrow Q$ ， $\neg(P\rightarrow Q)\Longrightarrow P$ ， $P\rightarrow Q\Longrightarrow Q$
3. $\color{white}\colorbox{red}{Star}$ 假言推论(分离规则) $I_3$ ： $P\land(P\rightarrow Q)\Longrightarrow Q$
4. 否定式假言推论(拒取式) $I_4$ ： $\neg Q\land(P\rightarrow Q)\Longrightarrow \neg P$
5. 析取三段论(选言三段论) $I_5$ ： $\neg P\land(P\lor Q)\Longrightarrow Q$
6. $\color{white}\colorbox{red}{Star}$ 假言三段论(前提条件) $I_6$ ： $(P\rightarrow Q)\land(Q\rightarrow R)\Longrightarrow (P\rightarrow R)$
7. 二难推论 $I_7$ ： $(P\lor Q)\land(P\rightarrow R)\land(Q\rightarrow R) \Longrightarrow R$
8. $I_8$ ： $(P\rightarrow Q)\land(R\rightarrow S)\Longrightarrow (P\land R)\rightarrow (Q\land S)$
9. $I_9$ ： $(P\leftrightarrow Q)\land(Q\leftrightarrow R)\Longrightarrow (P\leftrightarrow R)$
10. 归结原理 $I_{10}$ ： $(P\lor Q)\land(\neg P\lor R)\Longrightarrow (Q\lor R)$

$\longrightarrow$	$\Longrightarrow$
命题联结词	公式间关系符
$A\longrightarrow B$ 是命题公式	$A\Longrightarrow B$ 不是命题公式，仅表示蕴含关系

1.7 命题逻辑的推理方法

演绎/形式证明：依据推理规则从一些前提中推导出一个结论
- 定义1.19：若 $G_1\land G_2\land...\land G_n\Longrightarrow H$ ，称 $H$ 是前提 $G_1,G_2,...,G_n$ 的逻辑结果/有效结论。
- 定理： $H$ 是 $G=\{G_1,G_2,...,G_n\}$ 的逻辑结果 $\iff G_1\land G_2\land...\land G_n\longrightarrow H$ 为永真式。
- 注意：结论的真实性与推理的有效性无关。若前提为真，有效结论才为真。
推理规则：
1. $P$ 规则(前提引用规则)：引入前提集合中任一前提
2. $T$ 规则(逻辑结果引用规则)：利用基本等价式和蕴涵式将中间公式变出新公式。若依据等价式，标明为 $T E$ ；若依据蕴涵式，标明为 $T I$ 。
3. $C P$ 规则(附加前提规则)：若目标结果形如 $P\longrightarrow Q$ ，则将 $P$ 作为附加前提。
推理方法：
- 真值表法：构造 $G_1\land G_2\land...\land G_n\longrightarrow H$ 的真值表，判断是否为永真式。但命题变元数量多时，实用难度大。
- 演绎法：从前提出发，依据推理规则，导出结论。
  1. 直接证明法：利用 $P$ 规则和 $T$ 规则
    
    $\color{White}\colorbox{Fuchsia}{例题}$ ：求证 $I_7:$ $S\lor R$ 是前提 $\{P\lor Q,P\rightarrow R,Q\rightarrow R\}$ 的有效结论。
    
    证明：
    $\begin{aligned} &(1)&&P\lor Q &&P\\ &(2)&&\neg P\rightarrow Q && T,(1),E_2\\ &(3)&&Q\rightarrow S&&P\\ &(4)&&\neg P\rightarrow S&&T,(2),(3),I_6\\ &(5)&&\neg S\rightarrow P&&T,(4),E_{22}\\ &(6)&&P\rightarrow R&& P\\ &(7)&&\neg S\rightarrow R&&T,(5),(6),I_6\\ &(8)&&S\lor R&&T,(7),E_2 \end{aligned}\\ \therefore \{P\lor Q,P\rightarrow R,Q\rightarrow R\}\Longrightarrow S\lor R$
  2. 利用CP规则：
    
    $\color{White}\colorbox{Fuchsia}{例题}$ ：求证 $R\rightarrow S$ 是前提 $\{P\rightarrow (Q\rightarrow S),\neg R\lor P,Q\}$ 的有效结论。
    
    证明：
    $\begin{aligned} &(1)&&R&&P(附加前提)\\ &(2)&&\neg R\lor P &&P\\ &(3)&&P&&P,(1),(2),I_5 \\ &(4)&&P\rightarrow (Q\rightarrow S) &&P\\ &(5)&&Q\rightarrow S &&T,(3),(4),I_3 \\ &(6)&&Q&& P\\ &(7)&&S&&T,(5),(6),I_3\\ &(8)&&R\rightarrow S &&CP,(1),(7) \end{aligned}\\ \therefore \{P\rightarrow (Q\rightarrow S),\neg R\lor P,Q\}\Longrightarrow R\rightarrow S$
- 间接证明法：反证，矛盾，归谬法
  1. 反证法：将结论的否定加入到前提，证明新前提集合不相容(蕴含矛盾式)。即 $(A\Longrightarrow B)\iff (A\land\neg B\Longrightarrow F)$
    
    $\color{White}\colorbox{Fuchsia}{例题}$ ：n证明下面论述的有效性。在意甲比赛中，假如有四只球队，其比赛情况如下：如果国际米兰队获得冠军，则AC米兰队或尤文图斯队获得亚军；若尤文图斯队获得亚军，国际米兰队不能获得冠军；若拉齐奥队获得亚军，则AC米兰队不能获得亚军；最后，国际米兰队获得冠军。所以，拉齐奥队不能获得亚军。
    
    证明：
    
    设 $P :$ 国际米兰队获得冠军； $Q :$ AC米兰队获得亚军； $R :$ 尤文图斯队获得亚军； $S :$ 拉齐奥队获得亚军。则原命题可符号化为： $P\rightarrow Q\lor R,R\rightarrow \neg P,S\rightarrow \neg Q,P\Longrightarrow \neg S$
    $\begin{aligned} &(1)&& \neg(\neg S) &&P(附加前提)\\ &(2)&& S &&T,(1),E_{19}\\ &(3)&& S\rightarrow \neg Q&&P\\ &(4)&& \neg Q &&T,(2),(3),I_3 \\ &(5)&& P\rightarrow Q\lor R&P \\ &(6)&& P&& P\\ &(7)&& Q\lor R&&T,(5),(6),I_3\\ &(8)&& R&&T,(4),(7),I_5\\ &(9)&& R\rightarrow \neg P&&P\\ &(10)&& \neg P&&T,(8),(9),I_3\\ &(11)&& P\land \neg P\iff F&&T,(6),(10),E_{18} \end{aligned}\\ \therefore 拉齐奥队不能获得亚军$
- 消解法(归结推理法)：机械（无脑）推理法
  - 消解原理(归结原理)：根据 $I_{10}:(P\lor Q)\land(\neg P\lor R)\Longrightarrow (Q\lor R)$
  - 推理过程：对子句集合求消解式的过程
    - $\color{red}\bigodot$ 1.从 $\{G_1,G_2,...,G_n,\neg H\}$ 出发
    - $\color{red}\bigodot$ 2.将 $G_1\land G_2\land...\land G_n\land\neg H$ 转化成合取范式 $P\land (P\lor R)\land(\neg P\lor Q)\land...\land(\neg P\lor R)$ 的形式
    - $\color{red}\bigodot$ 3.将合取范式的所有子句(析取式)构成子句集合 $S=\{P,P\lor R,\neg P\lor Q,...,\neg P\lor R \}$
    - $\color{red}\bigodot$ 4.使用消解规则消除互补式(互反对)，如 $(P\lor Q)\land(\neg P\lor R)\Longrightarrow (Q\lor R)$ 将 $Q\lor R$ 放入 $S$ 。
    - $\color{red}\bigodot$ 5.重复上一步直到出现矛盾式(空子句)。
  - $\color{White}\colorbox{Fuchsia}{例题}$ ：如果公司的利润高，那么公司有个好经理或它是一个好企业及大体上是个好的经营年份。现在的情况是：公司的利润高,不是一个好的经营年份。证明公司有个好经理。
    
    证明：
    
    设 $A :$ 公司的利润高； $B :$ 公司有个好经理； $C :$ 公司是个好企业； $D :$ 是个好的经营年份。则原命题可符号化为： $(A\rightarrow (B\lor (C\land D)))\land A\land \neg D\Longrightarrow B$
    $\begin{aligned}令&P_1:A\rightarrow (B\lor (C\land D))&&\iff\neg A\lor (B\lor (C\land D))\\&&&\iff\neg A\lor ((B\lor C)\land (B\lor D)) \\&&&\iff(\neg A\lor B\lor C)\land (\neg A\lor B\lor D)) \\ &P_2:A\\ &P_3:\neg D\\ \end{aligned}$
    则 $S=\{\neg A\lor B\lor C,\neg A\lor B\lor D,A,\neg D,\neg B\}$
    $\begin{aligned} &(1)&& \neg A\lor B\lor D &&P\\ &(2)&& A &&P\\ &(3)&& B\lor D && 由(2)(3)归结\\ &(4)&& \neg B && P\\ &(5)&& D && 由(3)(4)归结\\ &(6)&& \neg D &&P\\ &(7)&& \text{Flase} && 由(5)(6)归结\\ \end{aligned}\\ 导出空子句,即反证假设发现矛盾\therefore公司有个好经理$