Notes for Mathematical Logic

Chapter 1 绪

自然语言 歧义 不适合演绎（deduction）
形式化公理系统
形式语言（Formal Languages，或符号（symbolic）语言）
程序设计语言、分子式、乐谱都是形式语言
语法（Syntax，或语构）
语义（Semantic）

---

Chapter 2 命题逻辑

命题逻辑（Propositional Logic）VS 谓词逻辑（Predicate Logic）

命题逻辑：推理中只分析命题之间的关系，不需要把命题分解为构成命题的各种非命题成分

---

2.1 命题与联结词

Def. 命题¹

• 原始概念（基本概念），无法给出精确定义，但可描述其性质
• 具有真假意义的判断性或陈述性的语句称为 命题（proposition），或称语句（statement）

Def. 原子命题
atom 又称 简单命题 不能进一步被分解
e.g. 雪是白的

Def. 复合命题
由联结词（Connective）和简单命题构成
Def. 命题变元
变元：非特指
vs. 命题常元

Def. 联结词

• 否定（Negation）词：$\neg$ 读作“非”
• 合取（Conjunction）词：$\wedge$ 读作“与”（本人喜欢读成“合取”）
• 析取（Disjunction）词：$\vee$ 读作“或”（本人喜欢读成“析取”）
• 蕴含词（Implication，或条件（Conditional））：$\to$ 读作“蕴含”（本人喜欢读成“推”）
• 双条件词（Biconditional，或等价（Equivalence））：$\leftrightarrow$ 读作“等价”

优先级从高到低：$\neg$,($\wedge$,$\vee$),$\to$,$\leftrightarrow$
可以加括号

Def. 真值表（Truth table）
Recursive Def. 命题公式

1. 原子命题是命题公式
2. 若$A$,$B$是命题公式，则$\neg A$,$A\wedge B$,$A\vee B$,$A\to B$,$A\leftrightarrow B$均为命题形式
   要求复合有限次

若公式$A$中含有原子变元符$p_1,p_2,...,p_n$，那么公式$A$可记为$A(p_1,p_2,...,p_n)$

Def. （真值）指派（Assignment）
常用符号$\alpha$表示
作用于公式，e.g. $\alpha (A)=T$,$\alpha (B)=F$
若公式$A$有$n$个变元，那么共有$2^n$个不同的指派
Def. 重言式（Tautology, 或永真式）：公式$A$对任一真值指派其真值均为T
Def. 永假式（Inconsistent，或矛盾式（Contradiction））：…均为F
Def. 可满足式 ²：公式$A$存在一个指派使其真值为T

Def. 逻辑蕴涵

若$A\to B$是重言式，则称$A$逻辑蕴涵$B$，或称$B$是$A$的逻辑推论，记为$A\Rightarrow B$

Def. 公式集
Γ = { A 1 , A 2 , . . . , A n } \Gamma=\{A_1,A_2,...,A_n\} Γ={A1​,A2​,...,An​}
若${\wedge }_{i=1}^n{A}_i\to B$是重言式，则$\Gamma \Rightarrow B$

Def. 逻辑等价
若$A\leftrightarrow B$是重言式，则称$A$与$B$逻辑等价（重言等价、等值），记为$A\iff B$

Thm. 代入原理
设$A$为含命题变元$p$的重言式，则将$A$中$p$的所有出现均替换为命题公式$B$，所得仍为重言式
Thm. 替换原理
若$C$为命题公式$A$中的子命题公式，$C\iff D$，则将任意数量的$C$用$D$替换，所得命题公式$B\iff A$

---

2.2 范式

Def. 文字
原子命题公式及其否定
Def. 合取式、析取式
文字的合取、析取
Def. 合取范式
$n(n\ge 1)$个析取式的合取，形如${\wedge }_{i=1}^n{A}_i$，其中$A_i$为析取式
Def. 析取范式
$n(n\ge 1)$个合取式的析取，形如${\vee }_{i=1}^n{A}_i$，其中$A_i$为合取式

Thm. 范式定理
任一命题公式$A$都存在与之等价的合取范式和析取范式
求解过程如下：

1. 用逻辑等价式
   $A\to B\iff \neg A\vee B$
   $A\leftrightarrow B\iff (\neg A\vee B)\wedge (A\vee \neg B)\iff (A\wedge B)\vee (\neg A\wedge \neg B)$
   消去$\to$及$\leftrightarrow$
2. 运用Morgan Law，分配律及双重否定律对公式形式转换
3. 化简

Def. 合取项
合取范式中的项$A_i$（析取式）
Def. 析取项
析取范式中的项$A_i$（合取式）
Def. 主合取范式
设命题公式$A(p_1,p_2,...,p_n)$的合取范式为${\wedge }_{j=1}^k{A}_j(k\ge 1)$
若其中每一个合取项$A_j$的形式都为$A_j={\vee }_{i=1}^n{Q}_i$，$Q_i=p_i$或$\neg p_i$，则称该合取范式${\wedge }_{j=1}^k{A}_j(k\ge 1)$为$A$的主合取范式
Def. 极大项
称形如$A_j={\vee }_{i=1}^n{Q}_i$的合取项为极大项，常用$M_j$表示

极大项$M_j$的性质：

1. 对于命题公式$A(p_1,p_2,...,p_n)$，共有$2^n$个极大项（$Q_i=p_{i}or\neg p_i$）
2. 每个极大项$M_j$有$2^n$种真值指派（$Q_i=TorF$），为$F$的指派唯一
3. 任意两个不相同的极大项的真值取值不能同为$F$
4. ${\wedge }_{j=1}^{2^n}{M}_j\iff F$

Def. 极小项
analogy
极小项$m_j$的性质：
analogy

---

2.3 联结词的扩充和规约

联结词完备集

2.4 推理及其有效性

Def. 推理
推理是从一些判断推出另一个判断的思维过程，推出的判断称为结论（conclusion），用于推出结论的那些判断称为前提（premise）
演绎推理vs归纳推理
Mathematics is deductive.
Def. 推理形式
推理形式是命题形式的一个有限序列，最后一个命题形式是结论，其它的命题形式为前提
针对其可定义有效/无效

有效推理形式：

1. 分离规则或三段论（Modus Ponens, MP）
   若 A , A → B，则 B
2. 逆分离规则
3. 反证法或归谬法（Reductio ad Absurdum）

---

Chapter 3 命题演算形式系统

3.1 命题逻辑演算形式系统

命题逻辑形式系统，简称PC（Propositional calculus）

3.1.1 PC的组成

1. 字符集 Σ = { ( , ) , ¬ , → , p 1 , p 2 , . . . , p n , . . . } \Sigma=\{(, ), \neg, \rightarrow, p_1,p_2,...,p_n,...\} Σ={(,),¬,→,p1​,p2​,...,pn​,...}
   a.原子变元符：$p_1,p_2,...,p_n,...$ b.联结词完备集： { ¬ , → } \{\neg, \rightarrow\} {¬,→} c. 辅助括号：圆括号$()$
2. 形成规则
3. 公理
   A1 : $A\to (B\to A)$
   A2 : $(A\to (B\to C))\to ((A\to B)\to (A\to C))$
   A3 : $(\neg B\to \neg A)\to (A\to B)$
   公理模式，A1, A2, A3 都代表无穷多条公理
4. 推理规则
   仅一条，即分离规则（$r_{mp}$）：若$A$，$A\to B$，则$B$
5. 定理推导

3.1.2 PC的基本定理

Def. 证明
Def. 定理
符号 ${⊢}_{PC}A$ ，简记成 $⊢A$
Def. 演绎
“有前提的证明”
$\Gamma ⊢A$

以下给出若干PC中的基本定理（定理模式），引号内给出语义上的解释
Thm. 3.1.1
$⊢A\to A$
“肯定自身”

Thm. 3.1.2
若 $⊢P$，则 $⊢A\to P$
“已证定理可加前件”

Thm. 3.1.3
$⊢\neg A\to (A\to B)$
“前提不一致可证任意结论”

Thm. 3.1.4
$\neg \neg A⊢A$

Thm. 3.1.5
$⊢(B\to C)\to ((A\to B)\to (A\to C))$
“传递规律的变形, Thm 3.1.2 + A2 + $r_{mp}$”

Thm. 3.1.6
$⊢(A\to (B\to C))\to (B\to (A\to C))$
“前件交换”

Thm. 3.1.7
$⊢(A\to B)\to ((B\to C)\to (A\to C))$
“传递规律，Thm 3.1.5 + Thm 3.1.6”

---

1. 悖论（Paradox）不是命题
   基于命题及其真值建立的逻辑称命题逻辑（Propositional Logic，PL），
   PL 是二值逻辑，亦称经典（标准）命题逻辑
   二值（1，0）对应于二进制
   三值逻辑除真假值外还有第三个值“不确定”（可表示“即真又假”），属于非经典（标准）逻辑
   e.g.
   命题：1+1=2、1+1=3
   悖论：“言尽悖”、“世上没有绝对的真理”
   既非命题，又非悖论：我明天这个时候说的这句话是假的 ↩︎

2. 大名鼎鼎的SAT（SATisfiability）问题：是否存在算法能多项式时间内判定一个命题形式是否可满足
   若解决了SAT问题，就解决了P=?NP问题 ↩︎