一.数理逻辑要点总结
离散数学的知识只包括本人根据自身前提情况认为有必要一看的内容
1. p ∧ q:p与q的合取式。∧称为合取联结词
2. p v q:p与q的析取式。∨称为析取联结词
“或”有时是相容或、有时式排斥或【比如yxy是陕西人或山西人】。
3. p → q:p与q的蕴含式。→称为蕴含联结词。p是前件、q是后件。
p → q为假当且仅当:p为真q为假
需要注意的命题符号化:
- 如果a,则b:a → b
- 因为a,所以b:a → b
- a仅当b:a → b
- 只要a,就b:a → b
- 只有a,才b:b → a
- 除非a,才b:b → a
总结:a → b 表示b是a的必要条件
4. 言式、矛盾式、可满足式
- 重言式:命题公式在所有赋值下都为真
- 矛盾式:命题公式在所有赋值下都为假
- 可满足式:命题公式在所有赋值下有真有假
5. 等值演算需要注意的公式
- 分配律:A v (B ∧ C) ⇔ (A v B) ∧ (A v C) 、 A ∧ (B v C) ⇔ (A ∧ B) v (A ∧ C)
- 德摩根律:┐(A v B) ⇔ ┐A ∧ ┐B 、 ┐(A ∧ B) ⇔ ┐A v ┐B
- 吸收律:A v (A ∧ B) ⇔ A 、 A ∧ (A v B) ⇔ A (特征:里外不一且有相同元)
- 蕴含等值式:A → B ⇔ ┐A v B
- 归谬论:(A → B) ∧ (A → ┐B) ⇔ ┐A
6. 析取范式和合取范式
析取范式:由有限个简单合取式的析取构成的命题公式
合取范式:由有限个简单析取式的合取构成的命题公式
极小项:n个命题变项的简单合取式,每个命题变项或其否定都仅出现一次,且按字典序排列。
极小项的命题变项带┐为0,不带为1,每个极小项有且仅有一个成真赋值。
极大项:n个命题变项的简单析取式,每个命题变项或其否定都仅出现一次,且按字典序排列
极大项的命题变项带┐为1,不带为0,每个极小项有且仅有一个成假赋值。
- 主析取范式:所有简单合取式都是极小项的析取范式
- 主合取范式:所有简单析取式都是极大项的合取范式
主析取范式主合取范式相互转换:不在主析取范式中出现的极小项对应主合取范式中的极大项
求公式的成真赋值:主析取范式所有极小项的成真赋值
求公式的成假赋值:主析取范式所有极小项的成假赋值
7. 推理公式
- A ⇒ (A v B) 【附加律】
- (A ∧ B) ⇒ A 【化简律】
- (A → B) ∧ A ⇒ B 【假言推理】
- (A → B) ∧ ┐B ⇒ ┐A 【拒取式(逆否)】
- (A v B) ∧ ┐B ⇒ A 【析取三段论】
- (A → B) ∧ (B → C) ⇒ (A → C) 【假言三段论】
- (A ↔ B) ∧ (B ↔ C) ⇒ (A ↔ C) 【等价三段论】
- (A → B) ∧ (C → D) ∧ (A v C) ⇒ (B v D) 【构造性二难】
8. 附加前提引入:若要证明(A → B),可以将A当作前提引入,证明B
9. 一阶逻辑的一些概念
- 个体词:独立存在的客体,如:小王、3
- 个体常项:具体、特定的个体词
- 个体变项:抽象的个体词,常用x、y、z表示
- 个体域:个体变项的取值范围
- 全总个体域:宇宙间一切事物
- 谓词:表示个体词性质、或个体词之间相互关系的词
- n元谓词:含有n个个体变项的谓词P。记作P(x1,x2,…,xn)
10. 使用全称量词、存在量词时命题符号化形式不同**(全→,存∧)**
- 如:所有人都是要死的。
M(x):x是人 ;F(x):x是要死的
符号化:∀x ( M(x) → F(x) ) - 如:有的人活百岁以上
G(x):x是人 ;T(x):x活百岁以上
符号化:∃x ( G(x) ∧ T(x) )
11. 当个体域为有限集时:
如:D = {a1, a2, …, an}
- ∀xA(x) ⇔ A(a1) ∧ A(a2) ∧ … ∧ A(an)
- ∃xA(x) ⇔ A(a1) v A(a2) v … v A(an)
12. 存在多个量词时不能颠倒顺序
如:H(x,y):x<y
- ∀x∃y H(x,y): 任意一个数x,存在一个y比x大
- ∃y∀x H(x,y): 存在一个y,对任意一个数x,都有x<y
13. 换名规则和代换规则
- 换名:把某个约束出现的个体变项和对应的指导变项都换成未出现过的个体变项符号
- 代替:把自由出现的个体变项用未曾出现的符号代替
14. 在合式公式∀x A和∃x A中,称x为指导变项,A为相应量词的辖域。
在辖域中,x的所有出现称为约束出现,其他不是约束出现的称为自由出现
设A为一公式,A中若无自由出现的个体变项,称为封闭的合式公式(闭式)
15. 谓词公式的真值
- (1)确定具体的谓词和个体常项
- (2)对个体域中所有的个体x带入到公式的具体谓词中验证谓词是否成立
- (3)进行命题演算得出真值
称为公式的一个解释
16. 若一谓词公式在任何解释下都为真称为永真式(逻辑有效式);在任何解释下都为假称为矛盾式(永假式),至少存在一个解释为真称为可满足式
17. 一些重要的等值式(重点是要变号的,还有否定要加在最前面!)
- (∀xA(x) → ∃xB(x)) ⇔ (┐∀xA(x) v ∃xB(x))
- ┐∀xA(x) ⇔ ∃x┐A(x) 、┐∃xA(x) ⇔ ∀x┐A(x)
- ∀x(A(x) → B) ⇔ (∃xA(x) → B)
- ∃x(A(x) → B) ⇔ (∀xA(x) → B)
- ∀x(A → B(x)) ⇔ (A → ∀xB(x))
- ∃x(A → B(x)) ⇔ (A → ∃xB(x))
18. 前束范式:量词都放在最前面,也就是他们的辖域要是后面的整个部分
定理:任何合式公式都存在与其等值的前束范式
求前束范式:使用等值式、换名规则、代替规则