离散数学(虞慧群)1-2predicatelog.ppt

文档介绍：该【离散数学(虞慧群)1-2predicatelog 】是由【wxq362】上传分享，文档一共【23】页，该文档可以免费在线阅读，需要了解更多关于【离散数学(虞慧群)1-2predicatelog 】的内容，可以使用淘豆网的站内搜索功能，选择自己适合的文档，以下文字是截取该文章内的部分文字，如需要获得完整电子版，请下载此文档到您的设备，方便您编辑和打印。离散数学(虞慧群)1-2predicatelog目录集合论基础命题逻辑一阶逻辑离散概率论图论基础01集合论基础ABCD集合的基本概念集合由确定的、不同的元素所组成的总体。子集一个集合中的所有元素也是另一个集合中的元素,则称这个集合是另一个集合的子集。元素属于集合的每个个体。空集不含任何元素的集合。并集两个集合中所有元素的集合。交集两个集合中共有的元素组成的集合。差集从第一个集合中去掉第二个集合中的所有元素后剩余的元素组成的集合。补集全集中不属于某个集合的元素组成的集合。集合的运算定义集合中元素的个数称为集合的基数。表示法用大写字母表示集合,用小写字母表示集合的基数,如|A|表示集合A的基数。性质对于任何集合A,有0≤|A|≤∞,其中0表示空集,∞表示无穷大。集合的基数02命题逻辑命题不能再分解为更简单的陈述句的命题。原子命题复合命题真值表01020403表示命题逻辑中各种复合命题的真假值的表格。一个可以判断真假的陈述句。由原子命题通过逻辑联结词组合而成的命题。命题逻辑的基本概念前提用于推理的已知命题。间接推理通过其他已知命题推出结论的推理方式。直接推理从单个前提推出结论的推理方式。推理规则根据前提推断出结论的规则。命题逻辑的推理规则03等价推理利用等价关系进行的推理,即从一个等价的前提推出等价的结论。01等价关系在命题逻辑中,两个命题在逻辑上等价的,即它们具有相同的真值。02等价公式在命题逻辑中,两个公式等价当且仅当它们具有相同的真值表。命题逻辑的等价关系