离散数学-关系的闭包.pptVIP

* 命题公式的范式 定理 任何命题公式都存在着与之等值的析取范式 与合取范式. 求公式A的范式的步骤： (1) 消去A中的?, ?（若存在） (2) 否定联结词?的内移或消去 (3) 使用分配律 ?对?分配（析取范式） ?对?分配（合取范式） 公式的范式存在，但不惟一 * 求公式的范式举例 例 求下列公式的析取范式与合取范式 (1) A=(p??q)??r 解 (p??q)??r ? (?p??q)??r （消去?） ? ?p??q??r （结合律） 这既是A的析取范式（由3个简单合取式组成的析 取式），又是A的合取范式（由一个简单析取式 组成的合取式） * 求公式的范式举例(续) (2) B=(p??q)?r 解 (p??q)?r ? (?p??q)?r （消去第一个?） ? ?(?p??q)?r （消去第二个?） ? (p?q)?r （否定号内移——德?摩根律） 这一步已为析取范式（两个简单合取式构成） 继续： (p?q)?r ? (p?r)?(q?r) （?对?分配律） 这一步得到合取范式（由两个简单析取式构成） * 2元真值函数对应的真值表 p q 0 0 0 1 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 p q 0 0 0 1 1 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 1 0 1 0 1 0 1 * 极小项与极大项 定义 在含有n个命题变项的简单合取式(简单析取式)中， 若每个命题变项均以文字的形式出现且仅出现一次，称这 样的简单合取式(简单析取式)为极小项(极大项）. 说明： n个命题变项产生2n个极小项和2n个极大项 2n个极小项（极大项）均互不等值 在极小项和极大项中文字均按下标或字母顺序排列 用mi表示第i个极小项，其中i是该极小项成真赋值的十 进制表示. 用Mi表示第i个极大项，其中i是该极大项成 假赋值的十进制表示, mi(Mi)称为极小项(极大项)的名称. mi与Mi的关系: ?mi ? Mi , ?Mi ? mi * 极小项与极大项(续) 由p, q两个命题变项形成的极小项与极大项 公式 成真赋值 名称 公式 成假赋值 名称 ?p ? ?q ?p ? q p ? ?q p ? q 0 0 0 1 1 0 1 1 m0 m1 m2 m3 p ? q p ? ?q ?p ? q ?p ? ?q 0 0 0 1 1 0 1 1 M0 M1 M2 M3 极小项 极大项 离散数学 集合论 * 主要内容 集合代数 二元关系 函数 集合的基本概念 集合的运算 有穷集合的计数 集合恒等式 有序对与笛卡儿积 二元关系 关系的运算 关系的性质 关系的闭包 等价关系与划分 偏序关系 函数的定义与性质 函数的复合与反函数 双射函数与集合的基数 * §7.5 关系的闭包 一. 闭包的定义 定义 设R是非空集合A上的关系,R的自反闭包(对称闭包,传递闭包)是 A上的关系 R ,它满足: (1) R 是自反的 (对称的,传递的)； (2) R? R ; (3) 对A上任何包含 R 的自反关系 (对称关系,传递关系) R 都有R ? R . 注:R的自反闭包记为 r(R),对称闭包记为