离散数学王元元习题解答

离散数学王元元习题解答Tag内容描述：<p>1、1 命题演算及其形式系统 1 1 命题与联结词 内容提要 1 1 1 命题 我们把对确定的对象作出判断的陈述句称作命题 propositions 当判断正确或符合客观实际时 称该命题真 true 否则称该命题假 false 真 假 常被称为命题的真值 自然语言中 并非 或者 并且 如果 那么 当且仅当 这样的联结词称为逻辑联结词 logical connectives 通常把不含有逻辑联结词的命题。</p><p>2、1 命题演算及其形式系统1.1 命题与联结词 内容提要1.1.1 命题 我们把对确定的对象作出判断的陈述句称作命题（propositions），当判断正确或符合客观实际时，称该命题真（true），否则称该命题假（false）。“真、假”常被称为命题的真值。 自然语言中“并非、或者、并且、如果，那么、当且仅当 ” 这样。</p><p>3、第二篇 集合论 第四章 集合及其运算 4.1 集合的基本概念 内容提要 4.1.1集合及其元素 集合是一些确定的、作为整体识别的、互相区别的对象的总体。 组成集合的对象称为集合的成员或元素（member）。通常用一对“ ”把集合的元素括起来，表示一个集合。 元素对于集合的隶属关系是集合论的另一基本概念。即当对象a是集合A的元素时，称元素a属于集合A，记为 。</p><p>4、第二章 谓词演算及其形式系统 2.1 个体、谓词和量词 内容提要 谓词演算中把一切讨论对象都称为个体，它们可以是客观世界中的具体客体，也可以是抽象的客体，诸如数字、符号等。确定的个体常用a，b，c等到小写字母或字母串表示。a，b，c等称为常元（constants）。不确定的个体常用字母x，y，z，u，v，w等来表示。它们被称为变元（variables）。 谓词演算。</p><p>5、第三篇 图论 第八章 图 8.1 图的基本知识 内容提要 8.1.1 图的定义及有关术语 定义8.1 图（graph）G由三个部分所组成： （1）非空集合V(G)，称为图G的结点集，其成员称为结点或顶点（nodes or vertices）。 （2）集合 E(G)，称为图G的边集，其成员称为边(edges)。 I （3）函数G：E(G)(V(。</p>