离散数学笔记(二)【谓词逻辑、二元关系】 您所在的位置:网站首页 集合间的符号表示 离散数学笔记(二)【谓词逻辑、二元关系】

离散数学笔记(二)【谓词逻辑、二元关系】

2024-07-14 22:11| 来源: 网络整理| 查看: 265

关系的表示 4.1)关系的集合表示 在这里插入图片描述 Eg: 在这里插入图片描述 4.2)关系的图像表示 在这里插入图片描述 Eg: 在这里插入图片描述 4.3)关系的矩阵表示 在这里插入图片描述 4.4)布尔矩阵的交并运算 在这里插入图片描述 在这里插入图片描述 Eg: 在这里插入图片描述 4.5)布尔矩阵的积运算 在这里插入图片描述 Eg: 在这里插入图片描述 Tips:看一整行与一整列有五相同为1的情况,有则为1,无则为0 4.6)关系的并交差补运算 定义 在这里插入图片描述 在这里插入图片描述 Eg: 在这里插入图片描述 4.7)关系的复合运算 在这里插入图片描述 Eg: 在这里插入图片描述 在这里插入图片描述 4.8)关系的逆运算 在这里插入图片描述 在这里插入图片描述 Eg: 在这里插入图片描述 5)关系的运算定律 5.1)结合律与统一律 在这里插入图片描述 5.2)逆运算性质定律 在这里插入图片描述 6)关系的幂运算 6.1)定义 在这里插入图片描述 Eg: 在这里插入图片描述 7)关系的性质 7.1)自反性与反自反性 7.1.1)定义 在这里插入图片描述 7.1.2)Eg: 在这里插入图片描述 7.1.3)干洗关系矩阵在这里插入图片描述 左:自反(对角线为1) 中:反自反(对角线为0) 右:非自反,非反自反(对角线有1有0) 7.2)对称性与反对称性 7.2.1)定义 在这里插入图片描述 7.2.2)Eg: 在这里插入图片描述 在这里插入图片描述 7.2.3)关系矩阵 在这里插入图片描述 左:对称 (对角线两边相等) 中:反对称(对角线两边不相等) 右:对称、反对称(对角线为1) 7.3)传递性 7.3.1)定义 在这里插入图片描述 7.3.2)Eg: 在这里插入图片描述 7.3.3)关系矩阵 在这里插入图片描述 7.4)关系性质的判定定理 在这里插入图片描述 7.5)关系性质的保守性在这里插入图片描述 7.6)关系的闭包 7.6.1)定义 在这里插入图片描述 7.6.2)Eg: 在这里插入图片描述 7.6.3)利用关系运算求闭包 在这里插入图片描述



【本文地址】

公司简介

联系我们

今日新闻

    推荐新闻

    专题文章
      CopyRight 2018-2019 实验室设备网 版权所有