SCUT2008
SCUT2008
一、填空题
求合式公式
的前束范式:答案:
。前束范式(Prenex Normal Form)是数理逻辑中谓词逻辑公式的一种标准形式。以下是关于前束范式的详细介绍:
定义
一个谓词逻辑公式称为前束范式,如果它具有以下形式:
,其中 ( )是量词( 或 ), 是个体变元, 是不含量词的谓词公式(称为母式或基式)。特点
- 量词前置:所有的量词都被集中在公式的开头,按照一定的顺序排列,后面跟着一个不含任何量词的公式。
- 清晰的量词辖域结构:每个量词的辖域(即量词作用的范围)在形式上一目了然,有助于对公式进行逻辑分析和推理。
示例
- 公式
是前束范式,其中 和 是量词, 是母式。 - 而公式
虽然量词都在前面,但它不是前束范式,因为 连接了两个包含量词的部分,不满足母式不含量词的要求。通过等价变换可以化为前束范式,如 。
转换为前束范式的方法
- 消除量词前的否定符号:利用量词否定等价式,如
, ,将否定符号移到量词后面。 - 约束变元换名:如果存在不同量词约束的变元同名,为了避免混淆,使用换名规则,将其中一个变元换为其他未使用过的变元。例如,
可换名为 。 - 将量词移到公式前面:利用量词辖域扩张与收缩等价式,如
( 不在 中自由出现), ( 不在 中自由出现)等,将量词逐步移到公式的最前面。
设集合
, ,求答案:
。因为 包含 中的全部元素,所以设
与 的真值为 , 的真值为 ,则命题 的真值是:。答案:1。只有当
为真,且 为假时, 为假,其余为真。设
是在正整数集合 上如下定义的二元关系:则它一共有
个有序对,且有自反性、对称性、传递性、反自反性和反对称性各性质中的 ? 性质。答案:共有 9 个有序对,
,可以发现存在 这样的有序对,所以满足对称性。公式
中的自由变元为 ,约束变元为 。答案:自由变元为
中的 与 中的 ,约束变元为 中的 与 中的- 自由变元与约束变元的定义
- 约束变元是在量词的辖域内出现的变元,并且该变元被量词所约束。
- 自由变元是在公式中出现但不受任何量词约束的变元。
- 分析公式
中的变元
- 对于
这部分: 在量词 的辖域内,并且受到 的约束,所以 在这里是约束变元。同时 在 和 中出现,都受到前面 的约束。 在 中出现,但是没有任何量词对 进行约束,所以 是自由变元。- 对于
这部分: 在这里没有被任何量词约束(前面的 的辖域到 结束),所以 是自由变元。 综上,公式 中的自由变元为 中的 与 中的 ;约束变元为 中的 与 中的 。
设有命题
是火车, 是汽车, 跑得比 快,那么命题“有的汽车比一些火车跑得快”的逻辑表达式是?答案:
。- 首先分析命题“有的汽车比一些火车跑得快”的含义:
- “有的汽车”表示存在一个
,使得 是汽车,这可以用 来表示。 - “比一些火车跑得快”,这里需要引入另一个变量
表示火车,即存在一个 , 是火车,并且 跑得比 快,这可以表示为 。
- 然后将两部分结合起来:
- 因为要同时满足
是汽车并且存在火车 使得 比 快,所以用逻辑连接词 将 和 连接起来,得到 。 具体书写步骤如下: - 步骤一:表示存在汽车,即
。 - 步骤二:对于存在的汽车
,表示存在火车 使得 比 快,即 。 - 步骤三:将上述两步用
连接起来,得到最终表达式 。
设
是 阶 条边的无向图,若 连通且 ,则 是无向树。答案:
。这里的
阶指的是 个顶点,所以是 个顶点 条边,根据树的性质,可以得到 。设
, , , , ,则 ,答案:
, 。- 首先求
:
- 已知
,那么 。
- 然后求
:
- 对于
,先计算 ,再计算 ,所以 ; - 计算
,再计算 ,所以 ; - 计算
,再计算 ,所以 。 - 综上,
。
- 接着求
:
- 对于
,先计算 ,再计算 ,所以 ; - 计算
,再计算 ,所以 ; - 计算
,再计算 ,所以 。 综上, 。 所以 , 。
- 首先求
不能再分解的命题称为原子命题,至少包含一个联结词的命题称为复合命题。
连通无向图
含有欧拉回路的充分必要条件是图 中所有顶点的度数均为偶数。设集合
,则 的幂集为, 。答案:
,4。幂集的大小为
,其中 为元素个数。设
, 为两个图(同为无向图或有向图),若 且 ,则称 是 的子图,若 且 ,则称 是 的生成子图。
二、单选题 (本大题共 12 小题,每小题 2 分,共 26 分)
下列命题公式为重言式的是(B) A.
B. C. D.答案:B。重言式,即永真式。
- 对于选项 A:
- 公式
,其中 恒为真(排中律),但是当 为假时,整个式子为假,所以它不是重言式。
- 对于选项 B:
- 公式
,当 为真时, 一定为真,根据蕴含式的定义,前件真后件真,整个式子为真;当 为假时,根据蕴含式的定义,前件假整个式子为真。所以无论 和 取何值,该公式都为真,它是重言式。
- 对于选项 C:
- 公式
恒为假(矛盾律),所以它不是重言式。
- 对于选项 D:
- 公式
, 恒为真,但是当 为假时,整个式子为假,所以它不是重言式。
下列语句中为命题的是(D) A. 你好吗? B. 人有
指。 C. 我所说的是假的。 D. 明天是晴天。 答案:D。- 首先分析命题的定义:
- 命题是能够判断真假的陈述句。
- 然后看选项 A:
- “你好吗?”这是一个疑问句,不是陈述句,所以它不是命题。
- 再看选项 B:
- “人有
指”,这句话虽然是陈述句,但是它的真假取决于具体情况,在没有明确的语境或定义下,无法确定其真假,所以它不是命题。
- 接着看选项 C:
- “我所说的是假的”,这句话会产生自指的矛盾情况,无法确定其真假,所以它不是命题。
- 最后看选项 D:
- “明天是晴天”是一个陈述句,并且在给定的时间(明天)到来后,可以判断其真假,所以它是命题。
设
为有向图, , 是(C) A. 强连通图 B. 单向连通图 C. 弱连通图 D. 不连通图答案:注意是有向图,选择 C。
- 首先明确各种连通图的定义:
- 强连通图:在有向图中,如果对于每一对顶点
和 ,都存在从 到 和从 到 的路径,则称该有向图是强连通图。 - 单向连通图:如果对于有向图中的任意两个顶点
和 ,至少存在从 到 或者从 到 的路径,则称该有向图是单向连通图。 - 弱连通图:将有向图的所有有向边替换为无向边后得到的无向图是连通的,则称该有向图是弱连通图。
- 不连通图:如果图中存在顶点对,它们之间没有路径相连(无论是有向路径还是无向路径,在有向图中考虑无向路径时是将边视为无向的情况),则称该图是不连通图。
- 然后分析给定的有向图
:
- 把有向图
的有向边替换为无向边后,得到的无向图是连通的(可以通过简单观察或者尝试从任意一个顶点出发能否到达其他顶点来判断,例如从 可以通过 、 到达 ,从 也可以通过 到达 等)。 - 但是,在有向图
中,例如从 到 就不存在路径,不满足强连通图的定义;同时也不满足单向连通图的定义(存在一些顶点对,既没有从一个到另一个的有向路径,也没有反向的有向路径)。
集合
上的下列关系矩阵中符合偏序关系条件的是() A. B. C. D.答案:D。
偏序关系的定义及性质
- 自反性:对于集合
中的任意元素 ,都有 。在关系矩阵中体现为主对角线元素全为 。 - 反对称性:如果
且 ,那么 。在关系矩阵中,如果 且 ,则 。 - 传递性:若
且 ,则 。从关系矩阵角度看,如果 且 ,那么 。
对选项 A 的分析
关系矩阵
:- 主对角线元素全为
,满足自反性。 - 满足反对称性。
- 传递性不满足,缺少
的关系
对选项 B 的分析
关系矩阵
:- 主对角线元素全为
,满足自反性。 - 当
, 时 ,当 , 时 ,且 ,不满足反对称性,所以选项 B 不符合偏序关系条件。
对选项 C 的分析
关系矩阵
:- 主对角线元素全为
,满足自反性。 - 满足反对称性。
- 缺少传递性。
对选项 D 的分析
关系矩阵
:- 主对角线元素全为
,满足自反性。 - 对于反对称性,不存在
使得 且 的情况,满足反对称性。 - 对于传递性,例如
且 ,此时不需要考虑 是否为 (因为传递性的前提是两个关系都存在);再看 ,可以看作是因为 且 (从 到 再到 的一种特殊传递情况,因为 到自身的关系总是存在的);其他情况也都满足传递性。所以选项 D 符合偏序关系条件。
- 自反性:对于集合
设
, 上二元关系 ,则 是(B) A. 自反关系 B. 传递关系 C. 对称关系 D. 反自反关系 答案:B- 首先明确各种关系的定义:
- 自反关系:对于集合
中的每一个元素 ,都有 。 - 传递关系:如果
且 ,那么 。 - 对称关系:如果
,那么 。 - 反自反关系:对于集合
中的每一个元素 ,都有 。
- 然后分析关系
:
- 对于自反关系,集合
,但是 ,所以 不是自反关系。 - 对于传递关系,有
和 ,不存在 这种情况,不会出现违背传递性的情况,其他元素对之间也满足传递性定义(例如 且 , 满足传递; 且 ,不存在 所以也满足传递等),所以 是传递关系。 - 对于对称关系,
,但是 ,所以 不是对称关系。 - 对于反自反关系,因为
和 ,所以 不是反自反关系。
设
, 上的等价关系 ,则对应于 的 的划分是(D) A. B. C. D.答案:D。注意等价关系的三个前提:自反性,对称性,传递性
- 首先明确等价关系与划分的关系:
- 等价关系会将集合划分为互不相交的子集(等价类),使得同一子集中的元素相互等价(在关系
下)。
- 然后分析等价关系
:
- 对于
以及 中包含 ,这说明 和 是等价的,它们属于同一个等价类,即 。 - 对于
以及 中包含 ,这说明 和 是等价的,它们属于同一个等价类,即 。
- 最后看选项:
- 选项 A 中
不符合 与 等价、 与 等价的情况。 - 选项 B 中
和 没有将 和 放在同一个等价类中。 - 选项 C 中没有体现出
与 等价、 与 等价形成的等价类。 - 选项 D 中
正确地反映了由等价关系 确定的 的划分。
以下非负整数列可简单图化为一个欧拉图的是(D) A.
B. C. D.答案:D。
- 首先明确欧拉图的判定条件:
- 一个无向图是欧拉图当且仅当该图是连通的且所有顶点的度数均为偶数。
- 然后分析每个选项所代表的图的度数序列:
- 选项 A:
,有一个顶点度数为 ,这意味着该图不连通(孤立顶点),所以不能是欧拉图。 - 选项 B:
,所有顶点度数之和为 ,根据握手定理(在无向图中,所有顶点的度数之和等于边数的两倍),边数为 。但是如果尝试构建这样一个图,会发现无法满足所有顶点度数的要求(例如,一个顶点度数为 ,很难在只有 条边且其他顶点度数较小的情况下构建出符合条件的图),所以该序列不能简单图化为欧拉图。 - 选项 C:
,其中有顶点度数为 和 ,不满足所有顶点度数均为偶数的条件,所以不能是欧拉图。 - 选项 D:
,所有顶点度数均为偶数,并且可以尝试构建出一个连通的图满足这些度数要求(例如,一个五边形,其中两个不相邻顶点之间再加两条边,就可以使五个顶点的度数分别为 ),所以该序列可以简单图化为欧拉图。
设论域
,与公式 等价的命题公式是(C) A. B. C. D.答案:C。
一棵树有
个 度顶点, 个 度顶点,其余都是树叶,求这棵树有多少个树叶顶点(B) A. B. C. D.答案:B。使用握手定理解决即可。
- 首先设树叶顶点的个数为
。 - 然后根据树的性质,树的边数
(其中 是顶点数),以及握手定理(所有顶点的度数之和等于边数的两倍)来计算。
- 已知有
个 度顶点,其度数和为 ;有 个 度顶点,其度数和为 ;树叶顶点度数为 , 个树叶顶点度数和为 。 - 那么所有顶点的度数之和为
。 - 顶点数
,边数 。 - 根据握手定理可得
。
- 接着解方程:
- 移项可得
- 解得
。
- 首先设树叶顶点的个数为
有
、 、 三个人猜测甲乙丙三个球队中的冠军。各人的猜测如下: A: 冠军不是甲,也不是乙。 B: 冠军不是甲,而是丙。 C: 冠军不是丙,而是甲。 已知其中有一个人说的完全正确,一个人说的都不对,而另外一人恰有一半说对了。据此推算,冠军应该是(A) A. 甲 B. 乙 C. 丙 D. 不确定-
答案:C
A,存在一个孤立点没有被访问,所以不行。
B,中间点必须访问两次,不行。
C,可以直接沿着正方形四条边进行访问。
D,必须经过中间点,所以不行。
这是一道关于判断图中哪些图存在哈密顿回路的题目,答案是 (C)。
解析
- 哈密顿回路的定义
- 哈密顿回路是指在一个图中,从一个顶点出发,经过图中每个顶点恰好一次,最后回到起始顶点的路径。
- 对各选项的分析
- 选项 (A)
- 这是一个三角形加上一个孤立点。由于存在孤立点,无法形成经过所有顶点的回路,所以不存在哈密顿回路。
- 选项 (B)
- 这是一个带有交叉线的四边形。无论从哪个顶点出发,在经过所有顶点且仅经过一次的情况下,都无法回到起始顶点形成回路。例如,从左上角顶点出发,经过其他三个顶点后,无法再回到左上角顶点形成回路,所以不存在哈密顿回路。
- 选项 (C)
- 这是一个完整的四边形。可以很容易地找到哈密顿回路,例如按照顺时针或逆时针方向依次经过四个顶点,最后回到起始顶点,所以存在哈密顿回路。
- 选项 (D)
- 这是一个类似蝴蝶结形状的图。在尝试寻找哈密顿回路时会发现,无论从哪个顶点出发,都无法在经过每个顶点恰好一次的情况下回到起始顶点。例如,从上方中间顶点出发,经过其他顶点时,总会有顶点无法在满足条件的情况下被访问到,所以不存在哈密顿回路。
设
是国家级运动员, 是健壮的,则命题“没有一个国家级运动员不是健壮的”可符号化为( )
三、计算题(30 分)
- 用等值演算法求取求下列公式:
的合取范式。
图
如下图所示,求图 的最小生成树。(图略,可根据边的权重选择合适的边构建最小生成树,此处省略具体过程)有向图
如图所示,求 的关联矩阵 。(图略,根据有向图关联矩阵的定义写出矩阵,此处省略具体矩阵内容)答案:-1 表示起点,1 是终点。
横坐标表示的是
,纵坐标表示的是化简表达式
答案:
,故- 首先化简
:
- 根据集合差的定义,
。 - 又因为
,所以 。 - 则
。
- 然后化简
:
- 根据分配律
。 - 因为
,所以 (因为 ,这里 )。
- 接着将化简后的结果代入原式:
- 原式变为
。 - 根据分配律
(因为 与 取交还是 )。 - 所以原式变为
。 - 又因为
,所以 。 综上,化简结果为 。
- 首先化简
设
,求 和 ,并作出它们及 的关系图。答案:
- 求
(自反闭包)
- 定义:设
是集合 上的关系, ,其中 是 上的恒等关系。 - 已知
,假设 (因为 中的元素涉及到这些数字)。 - 那么
。 - 所以
。
- 求
(对称闭包)
- 定义:设
是集合 上的关系, ,其中 。 - 对于
,其逆关系 。 - 所以
。
- 关系图绘制
- 关系
的关系图: - 用五个点分别表示
、 、 、 、 。 - 对于
,从点 画箭头指向点 ;对于 ,从点 画箭头指向点 ;对于 ,从点 画箭头指向点 ;对于 ,从点 画箭头指向点 ;对于 ,从点 画一个自环;对于 ,从点 画箭头指向点 。 - 关系
的关系图: - 在
的关系图基础上,再给点 、 、 、 、 分别加上自环(因为 包含恒等关系)。 - 关系
的关系图: - 在
的关系图基础上,对于 中的每一个有序对 ,如果 中没有 ,则添加从 指向 的箭头。例如,因为 中有 ,添加从 指向 的箭头;因为 中有 ,已有 ,不用添加;因为 中有 ,添加从 指向 的箭头;因为 中有 ,添加从 指向 的箭头。
五、证明题(22 分)
构造下面推理的证明:
前提:
结论:
。答案:总结思路就是从
前提引入 前提引入 取拒式(利用 的逆否命题: ) 前提引入 假言推理 前提引入 取拒式 前提引入 析取三段论
设
,在 上定义的二元关系 , .证明
是 上的等价关系。答案:
自反性:取
故自反性得证。
对称性:
且故对称性得证。
传递性:
且 。故满足传递性。
已知:
是三个集合,证明 。答案:
- 设
- 原命题得证。
- 设
无向图
,且 , 试证明以下两个命题是等价命题:1)
中每对顶点间具有唯一的通路2)
连通且 。证明:
- 首先证明
:
- 假设
中每对顶点间具有唯一的通路。 - 证明
连通:因为每对顶点间都有通路,所以 是连通图。 - 证明
: - 对
进行归纳。 - 当
时, ,此时 成立。 - 假设当
时命题成立,即对于有 个顶点的满足条件的图 ,有 。 - 当
时,在图 中任取一条边 ,由于 中每对顶点间具有唯一的通路,去掉边 后, 变成两个连通分支 和 ,设 , ,且 。 - 由归纳假设,
, 。 - 而原来的图
的边数 ,即 ,也就是 。
- 然后证明
:
- 假设
连通且 。 - 反证法证明每对顶点间具有唯一的通路:假设存在一对顶点
和 ,它们之间有两条不同的通路 和 。 - 设
, 中必存在圈。 - 设
中的圈有 个顶点, ,从 中去掉 中的一条边 ,得到的图 仍然是连通的。 - 设
有 个顶点和 条边,且 。 - 因为
,所以 ,这与树的性质 矛盾(因为去掉边后若还连通就不是树了,树中任意两点间有唯一通路)。 - 所以
中每对顶点间具有唯一的通路。 综上,两个命题是等价命题。
- 首先证明