离散数学第一部分

数理逻辑

专业术语

• 命题：非真即假的陈述句

• p→q：如果 p 则 q，q是p的必要条件

• 合式公式：联结词{∧、∨、→、←→、┐}

• 真值表
  

• 重言式：真值表最后一列全为1的公式 [ 如表3.1 ]

• 矛盾式：真值表最后一列全为0的公式

• 可满足式：真值表最后一列至少有一个为1的公式

• 哑元：在命题p，q等中，公式中不含的命题的变项，即公式的取值与命题中的哑元无关

例题

命题逻辑等值演算

专业术语

• 等值：A<–>B 为重言式，则A<=>B
• 析取范式：有限个简单合取式的析取构成的命题公式
• 合取范式：有限个简单析取式的合取构成的命题公式
• 极大项：每个命题的变项和其否定只出现一次，并且其下标从小到大的简单析取式
• 极小项：每个命题的变项和其否定只出现一次，并且其下标从小到大的简单合取式
• 主析取范式：所有简单合取式都是极小项的析取范式
• 主合取范式：所有简单析取式都是极大项的合取范式
• 联结词的完备集：S是联结词集合，任何n(n>=1)元真值函数都可以由仅含S中的联结词构成的公式表示的集合

定理（定义）

• 主析取范式和主合取范式都是唯一的
• n个命题变项共可构成2²^ⁿ个不停的真值函数

公式

1. 双重否定律：A<=>┐┐A
2. 分配律：
   A∨(B∧C)<=>(A∨B)∧(A∨C)
   A∧(B∨C)<=>(A∧B)∨(A∧C)
3. 德摩根律：
   ┐(A∨B)<=>┐A∧┐B , ┐(A∧B)<=>┐A∨┐B
4. 吸收律：
   A∨(A∧B)<=>A , A∧(A∨B)<=>A
5. 蕴涵等值式：
   A→B <=>┐A∨B
6. 假言易位：
   A→B <=> ┐B->┐A
7. 等价否定等值式：
   A<–>B<=>┐A<–>┐B
8. 归谬论：
   (A→B)∧(A→┐B)<=>┐A

例题

1. 证明是重言式 (矛盾式、可满足式) : 推出结果为1（0、至少为1）
2. 求合取范式或析取范式：消除→,<–>,分配律，矛盾律，同一律
3. 求主析取范式和主合取范式：扩展∧(┐A∨A)、∨(┐A∧A)

命题逻辑的推理理论

例题

1. 判断重言式：等值表法，等值演算法，主析取范式
2. 构造推理的证明
   

一阶逻辑基本概念

专业术语

• 个体词：所研究对象中可以独立存在的具体的或抽象的个体
• 谓词：刻画个体词性质及个体词之间相互关系的词
• 量词：表示个体常项或变项之间数量关系的词，包含存在量词∃、全称量词∀
• ∀xA 或 ∃xA 的x为指导变元，A为辖域

例题

1. 带有量词的符号化
   

数理逻辑

专业术语

定理（定义）

• 等值演算：

1. 消去量词等值式：
2. 量词否定等值式
3. 量词辖域收缩与扩张等值式
4. 量词分配等值式

• 3条规则：置换规则、换名规则、代替规则

公式

例题