离散数学(高教)概念整理

公式中不含自由出现的个体变项.
解释 I
解释就是对抽象一阶语言的在 I 的具体含义，包括四个部分： ①非空个体域 D1②每一个个体常项在 D1 中的对应③每一个 n 元函数在 D1 上的对应④每一 个谓词符号在 D1 上的对应
永真式（逻辑有效式），永假式，可满足式
同上文。在任何解释下均为真的公式为永真式。这里不存在重言式的说法。
简单合取式中的命题变项及它的否定式恰好出现一次，并按照下标拍好，这样的简单合取式 叫做极小项。同理为极大项。 n 个命题变项可以产生 2 的 n 次方个极小项，每个极小项都有且仅有一个成真赋值，这一组 成真赋值（01 组成）转化为对应的十进制数 i，将这个极小项表示为 类似的，极大项为
主析取范式
主合取范式
代换实例
用谓词公式 A1，A2……代换命题公式 A0 中的命题变项 p1,p2……得到的公式 A 叫做 A0 的 代换实例。 重言式的代换实例都是永真式。
一阶逻辑等值验算
等值式⇔
这个等值式是一阶逻辑下的等值式。定义同上。当 A 等价 B 为永真式，称 A⇔B 是等值式。
等值式类型
书 p69 比如说任意 x 有（A（x）→B）等价于存在 x 满足 A（x）并且→B
上界，下界
偏序集<A,≤>，B 包含于 A，y 是 A 的元素（注意，上面 y 是属于 B 的） ①对于任意 B 中的元素 x 都有 y 小于等于 x 成立，y 为 B 的下界 ①对于任意 B 中的元素 x 都有 x 小于等于 y 成立，y 为 B 的上界 B 的上界可知可能不止一个，最小的叫最小上界（上确界），最大下界同理。 B 的最大元一定是 B 的最小上界，反之不一定（因为可能不存在最大元）
数理逻辑
命题逻辑
命题 p,q,r,s……
非真即假的陈述句
命题的真值 0 1
命题的陈述句所表达的判断结果
原子命题（简单命题）
不能被分解成更简单的命题 简单命题通过联结词联结而成的命题，称为复合命题
命题的符号化 p: 4 是素数
用小写英文字母（如 p:4 是素数）表示命题。 用小写英文字母（如 p:4 是素数）表示原子命题，用联结词联结原子命题表示复合命题。
一阶逻辑前束范式
就是要求把所有量词放到最前方。去掉重名变量。
7
集合论
集合基本概念 A={}
无序，唯一，确定
幂集 P（A）或花体 pA，
A 的全体子集构成的集合
集合的运算 ∪并集 A∪B ∩交集 A∩B -相对补集 A-B
x 属于 A 但是不属于 B 的部分组成的集合
⊕对称差集 A⊕B
x 属于 A 和 x 属于 B 的部分，不包括既属于 A 又属于 B
偏序关系
偏序(=自反，反对称，传递)关系≤
如果<x,y>∈≤，记作 x≤y，表示按照这个顺序 x 排在 y 的前边或者 x 就是 y 恒等关系，小于或等于关系，乘除关系，包含关系都是偏序关系
x 与 y 可比
x 与 y 可比等价于，x≤y 或者 y≤x
全序关系（线序关系）
设 R 是非空集合 A 上的偏序关系，如果任意 x,y 属于 A，x 与 y 都是可比的（也就是 A 的所 有元素都出现在这个 R 中）则称 R 为 A 上的全序关系
x 与 y 模 n 相等 x≡y(mod n)
x 除以 n 的余数与 y 除以 n 的余数相等 在整数集上，模 n 是个等价关系。
x 关于 R 的等价类 ([x]或 )
R 为 A 上的等价关系。x 关于 R 的等价类（简称 x 的等价类）是 A 中所有与 x 等价的元素构 成的集合。
A 关于 R 的商集 A/R
4
联结词完备集 S={￢, ∨}
s 是一个联结词集合，任何 n 元真值函数都可以仅用 s 中的联结词构成的公式表示.s 就是联 结词完备集。
命题逻辑的推理理论
推理{ … }┠B
是指从前提触发推出结论的思维过程。 前提是已知的命题公式集合，结论是推出的命题公式。
有效的结论
命题集合 的合取式有 0 和 1 两种取值，只要不出现某一种赋值情况下命题集合为假，结论 B 为真。那么就称结论 B 是有效的结论。称这一种推理是正确的。
（重要）等值式模式
常用的 16 条命题间的等值模式，书 p18
3
析取范式与合取范式
文字
命题变项及其否定的统称
简单析取式，简单合取式
由有限个文字构成的析取式，合取式
析取范式，合取范式
由有限个简单合取式的析取构成的命题公式，称为析取范式。 同理为合取范式。 命题公式的析取或合取范式一般不唯一
极小项，极大项
偏序集<A,≤>
A 和 A 上的偏序关系一起组成的集合，记作<A,≤>
y 覆盖 x(y 是 x 的后继)
x＜y 且不存在 z 使得 x＜z＜y，则称 y 覆盖 x
13
偏序集的哈斯图
如果 x＜y，就把 x 画在 y 的下方，并且如果 y 还覆盖 x，就用一条线段连接 xy
最小元，极小元，最大元，极大元
可满足式
命题公式 A 至少存在一个成真赋值
哑元
对公式 A 和 B 进行比较讨论，可知 A 和 B 共含有 n 个命题变项，其中 A 不含有的命题变项 称为 A 的哑元，其取值不影响 A 的值
命题逻辑等值演算 等值式⇔
如果命题 A 和 B 有相同的真值表，则有命题 A↔B 为重言式，这种情况下称 A 与 B 是等值的， 记作 A⇔B
一阶语言（花体Ｉ）
由抽象符号构成的用于一阶逻辑的形式语言。
项
个体常项，个体变项，ｎ元函数（自变量为项）是花体Ｉ的项。
指导变元 量词的辖域
例如∀ｘＡ，ｘ就叫做指导变元，Ａ是量词的辖域，在辖域中ｘ的所有出现称为约束出现， 其他变项叫自由出现
合式公式（谓词公式）
一阶语言下的合式公式。
6
闭式（封闭的公式）
关系的性质（R 为 A 上的关系）
自反性
任意 x,如果 x 是 A 的元素可以推出<x,x>∈R
对称性 R=
任意 x,y，如果 x,y 是 A 的元素并且<x,y>属于 R 可以推出<y,x>∈R
11
传递性 R°R
任意 x,y,z，如果 x,y,z 是 A 的元素并且<x,y>属于 R 并且<y,z>属于 R 可以推出<x,z>∈R
A 在 R 下的像 R[A]
R[A]是一个集合，元素是既是 R 中有序对的第一元素，又是 A 中元素的元素。
R 的 n 次幂
首先，R 是 A 上的二元关系，不是随便什么二元关系。 R 的 0 次幂是 A 的恒等关系 IA，即第一元素=第二元素的有序对组成的集合 R 的第 n+1 次幂=R 的 n 次幂°R 并且，必有 s,t 使得 R 的 s 次幂=R 的 t 次幂
证明
是由一个描述推理过程的命题公式序列
形式系统 I
书 p46
自然推理系统 P
数 p47 主要是用来在这个系统下构造推理的证明
附加前提证明法
结论为蕴含式时，可以把前件作为推理前提，使结论为后件
归谬法
使结论的否命题作为前提能退出矛盾，则证明
5
一阶逻辑基本概念
一阶命题符号化
1 个体词 a,b,x,y……
集合 A 中的元素作为第一元素，集合 B 中的元素作为第二元素，构成有序对。这样的有序 对组成的集合叫做 A 和 B 的笛卡尔积 笛卡尔积，对并和交运算满足分配率 A 包含于 C 并且 B 包含于 D 的时候可以推出，A×B 包含于 C×D
二元关系 R（关系） 是个集合
一个集合。如果它是空集，或者他的元素都是有序对，则这个集合是一个二元关系，记作 R。 如果<x,y>∈R，可记作 xRy.
关系的闭包
R 的自反闭包 R’ r(R)
在 R 中添加尽可能少的有序对，得到 R’，使 R’具有自反性
对称闭包 s(R) 传递闭包 t(R) 等价关系与划分
等价（=自反，对称，传递）关系~
等价是一个对于关系的定语。R 为 A 上的关系，如果 R 是自反的，对称的，传递的，则称 R 为 A 上的等价关系。若<x,y>∈R，称 x 等价于 y，记作 x~y
所有简单合取式都是极小项的析取式，这是唯一的主析取范式。同理。
联结词的完备集
n 元真值函数 F
函数 F 的自变量为 n 个命题变项，值域为{0,1},这样的函数叫 n 元真值函数。n 个命题变项一 共可以构成 2 的 2 的 n 次方个不同的真值函数。 每个真值函数与唯一的一个主析取范式（主合取范式）等值，同时它们都等值于无穷多个等 值的命题公式。
偏序集<A,≤>，B 包含于 A，y 是 B 的元素 ①对于任意 B 中的元素 x 都有 y 小于等于 x，y 为最小元 ②对于任意 B 中的元素 x 并且 x≤y 使都推出 x=y，y 是极小元 最小元存在时，要求最小元和 B 中的其他元素都可比，所以不一定存在，如果存在一定是唯 一的。 极小元不一定和 B 中所有元素都可比，所以一定存在，并且可能不唯一。
从 A 到 B 的二元关系
A×B（A 和 B 的笛卡尔积）的任何子集定义的二元关系（子集不止一个，这个就不止一个） A=B 时叫做 A 上的二元关系，A 上有 2 的 n 平方次方个不同二元关系
9
R 为 A 上的二元关系
即 A 的所有元素作第一元素组合 A 的所有元素作第二元素的有序对的集合.
空关系∅
空集∅是 A×A 的子集，叫做 A 上的空关系
全域关系
恒等关系
小于等于关系 关系矩阵，关系图
p105
关系的运算 R 的定义域 domR
R 中所有有序对的第一元素构成的集合