第一讲 集合论基础集合论作业1、
第二讲 命题逻辑 (第一部分)命题逻辑(第一部分)作业1、
第三讲 命题逻辑 (第二部分)命题逻辑(第二部分)作业1、
第四讲 谓词逻辑 (第一部分)谓词逻辑(第一部分)作业1、
第五讲 谓词逻辑 (第二部分)集合论和数理逻辑单元测验1、下列句子为真命题的是( )。
a、雪是黑色的,当且仅当5<0
b、自然数中存在最大素数
c、今天天气真好呀
d、只有5<0,雪才是白色的
2、下列语句是假命题的是( )。
a、如果3是偶数,那么1/3就是有理数
b、只要3是偶数,1/3就是有理数
c、除非1/3是有理数,否则3不是偶数
d、只有3是偶数,1/3才是有理数
3、设:天下大雨 :他在室内运动,命题“除非天下大雨,否则他不在室内运动”可符号化为( )。
a、
b、
c、
d、
4、设:他聪明,:他成绩好,命题“他虽聪明但成绩不好”可符号化为( )。
a、
b、
c、
d、
5、设:他怕困难 ,:他获得成功,命题“只要他怕困难,他就不会获得成功”可符号化为( )。
a、
b、
c、
d、
6、设:他怕困难 ,:他获得成功,命题“他只有不怕困难,才能获得成功”可符号化为( )。
a、
b、
c、
d、
7、下列式子为重言式的是 ( )。
a、
b、
c、
d、
8、下列式子不是永真式的是( )。
a、
b、
c、
d、
9、下列命题公式为永假式的是( )。
a、
b、
c、
d、
10、下列为两个命题变元,的极小项是( )。
a、
b、
c、
d、
11、设论域为,则与公式等价的是( )。
a、
b、
c、
d、
12、设论域为整数集,下列谓词公式中真值为假的是( )。
a、
b、
c、
d、
13、设论域为整数集,下列谓词公式中真值为真的是( )。
a、
b、
c、
d、
14、下列公式中与公式等价的是( )。
a、
b、
c、
d、
15、下列公式中与公式等价的是( )。
a、
b、
c、
d、
16、下列等价式不正确的是( )。
a、
b、
c、
d、
17、命题逻辑中,公式是的逻辑结果当且仅当公式是是( )的。
a、永真
b、永假
c、可满足
d、不可满足
18、不是下列哪个集合的子集?( )
a、
b、
c、
d、
19、集合的幂集的元素个数为( )。
a、2
b、3
c、4
d、8
20、下列公式中,( )中的和都既是自由变元又是约束变元。
a、
b、
c、
d、
21、下列语句中,是命题的为( )。
a、大学生是国家的栋梁当且仅当猫会捉老鼠
b、请不要虐待动物!
c、地震可怕吗?
d、f(x)=9
22、量词的约束范围称为量词的( )。
a、定义域
b、个体域
c、辖域
d、值域
23、是一个空集,则下列哪一个不成立?( )。
a、
b、
c、
d、
24、谓词逻辑的推理中,使用的是( )。
a、es规则
b、us规则
c、ug规则
d、eg规则
25、设,,则公式是( )。
a、有效公式
b、矛盾公式
c、可满足公式
d、以上都不是
26、设是人,与一样高,则命题“人都不一样高”的符号化形式为( )。
a、
b、
c、
d、
27、设集合,,则( )不成立。
a、
b、
c、
d、
28、设是含有命题变元的公式,则一定不是( )。
a、析取范式
b、合取范式
c、主合取范式
d、主析取范式
29、在演绎推理中,若结论是( )形式的公式时,可利用规则将作为附加前提来证明。
a、
b、
c、
d、
30、命题公式是永真公式,当且仅当等价于它的主析取范式中( )。
a、包含所有极大项
b、不包含任何极小项
c、包含所有极小项
d、以上都不对
补测1、下列句子为真命题的是( )。
a、雪是黑色的,当且仅当5<0
b、自然数中存在最大素数
c、今天天气真好呀
d、只有5<0,雪才是白色的
2、下列语句是假命题的是( )。
a、如果3是偶数,那么1/3就是有理数
b、只要3是偶数,1/3就是有理数
c、除非1/3是有理数,否则3不是偶数
d、只有3是偶数,1/3才是有理数
3、设:天下大雨 :他在室内运动,命题“除非天下大雨,否则他不在室内运动”可符号化为( )。
a、
b、
c、
d、
4、设:他聪明,:他成绩好,命题“他虽聪明但成绩不好”可符号化为( )。
a、
b、
c、
d、
5、设:他怕困难 ,:他获得成功,命题“只要他怕困难,他就不会获得成功”可符号化为( )。
a、
b、
c、
d、
6、设:他怕困难 ,:他获得成功,命题“他只有不怕困难,才能获得成功”可符号化为( )。
a、
b、
c、
d、
7、下列式子为重言式的是 ( )。
a、
b、
c、
d、
8、下列式子不是永真式的是( )。
a、
b、
c、
d、
9、下列命题公式为永假式的是( )。
a、
b、
c、
d、
10、下列为两个命题变元,的极小项是( )。
a、
b、
c、
d、
11、设论域为,则与公式等价的是( )。
a、
b、
c、
d、
12、设论域为整数集,下列谓词公式中真值为假的是( )。
a、
b、
c、
d、
13、设论域为整数集,下列谓词公式中真值为真的是( )。
a、
b、
c、
d、
14、下列公式中与公式等价的是( )。
a、
b、
c、
d、
15、下列公式中与公式等价的是( )。
a、
b、
c、
d、
16、下列等价式不正确的是( )。
a、
b、
c、
d、
17、命题逻辑中,公式是的逻辑结果当且仅当公式是是( )的。
a、永真
b、永假
c、可满足
d、不可满足
18、不是下列哪个集合的子集?( )
a、
b、
c、
d、
19、集合的幂集的元素个数为( )。
a、2
b、3
c、4
d、8
20、下列公式中,( )中的和都既是自由变元又是约束变元。
a、
b、
c、
d、
21、下列语句中,是命题的为( )。
a、大学生是国家的栋梁当且仅当猫会捉老鼠
b、请不要虐待动物!
c、地震可怕吗?
d、f(x)=9
22、量词的约束范围称为量词的( )。
a、定义域
b、个体域
c、辖域
d、值域
23、是一个空集,则下列哪一个不成立?( )。
a、
b、
c、
d、
24、谓词逻辑的推理中,使用的是( )。
a、es规则
b、us规则
c、ug规则
d、eg规则
25、设,,则公式是( )。
a、有效公式
b、矛盾公式
c、可满足公式
d、以上都不是
26、设是人,与一样高,则命题“人都不一样高”的符号化形式为( )。
a、
b、
c、
d、
27、设集合,,则( )不成立。
a、
b、
c、
d、
28、设是含有命题变元的公式,则一定不是( )。
a、析取范式
b、合取范式
c、主合取范式
d、主析取范式
29、在演绎推理中,若结论是( )形式的公式时,可利用规则将作为附加前提来证明。
a、
b、
c、
d、
30、命题公式是永真公式,当且仅当等价于它的主析取范式中( )。
a、包含所有极大项
b、不包含任何极小项
c、包含所有极小项
d、以上都不对
谓词逻辑(第二部分)作业1、
第六讲 二元关系二元关系作业1、
第七讲 特殊关系和函数关系理论单元测验1、设a={1,2,3,4,5},是上的二元关系,,那么是( )。
a、自反的
b、对称的
c、传递的
d、反自反的
2、下列哪个关系矩阵具有反自反性?( )。
a、
b、
c、
d、
3、等价关系一定不是( )。
a、对称的
b、自反的
c、传递的
d、反自反的
4、设集合a={1,2,3},下列关系中不是等价关系的是( )。
a、
b、
c、
d、
5、设是集合上的等价关系,则下列关系不一定是等价关系的是( )。
a、
b、
c、
d、
e、
6、设集合有3个元素,则上的等价关系的个数为( )。
a、3
b、4
c、5
d、6
7、偏序关系一定不是( )。
a、自反的
b、传递的
c、反自反的
d、反对称的
8、是偏序集,其中是正整数12的正因子的集合,为整除关系,则能覆盖元素3的元素是( )。
a、1
b、3
c、6
d、12
9、设,,下列二元关系为到的函数的是( )。
a、
b、
c、
d、
10、设是正整数集合,,,则( )。
a、仅是单射
b、仅是满射
c、是双射
d、不是函数
11、设是正整数集合,,,则( )。
a、仅是单射
b、仅是满射
c、是双射
d、不是函数
12、设是整数集,,,,则( )。
a、仅是单射
b、仅是满射
c、是双射
d、以上都不对
13、,是函数,则下列陈述正确的是( )。
a、若是满射的,则和都是满射的
b、若和都是满射的,则是满射的
c、若是单射的,则和都是单射的
d、若是单射的,则是单射的
14、,是函数,则下列陈述正确的是( )。
a、若不是满射的,则不是满射的
b、若不是满射的,则不是满射的
c、若是满射的,则是满射的
d、若是满射的,是满射的
15、设,上的等价关系,则对应于的的划分是( )。
a、
b、
c、
d、
16、设集合为人的全体,在上定义关系、为且是的父亲, 且是的母亲,那么关系且是的祖母的表达式为( )。
a、
b、
c、
d、
17、设,,那么和分别为下面哪一项?( )
a、
b、
c、
d、
18、集合上的偏序关系图如下图,则它的哈斯图为( )。
a、
b、
c、
d、
19、集合上的关系,则的性质为( )。
a、自反的
b、对称的
c、反对称的
d、传递的
20、设是集合到的二元关系,则下列各式中( )是正确的。
a、
b、
c、
d、
21、设和是上的关系,是所有人的集合,是的父亲,是的母亲,则表示关系( ) 。
a、是的丈夫
b、是的孙子或孙女
c、
d、是的祖父或祖母
特殊关系和函数作业1、
第八讲 图论基础图的作业1、
第九讲 树图和树单元测验1、右图中的最大入度数是( )。
a、0
b、1
c、2
d、3
2、设为有n个结点的简单图,则有( )。
a、
b、
c、
d、
3、设简单图g所有结点的度数之和为24,那么g的边数为( )。
a、6
b、8
c、12
d、24
4、结点数为奇数且所有结点的度数也为奇数的连通图必定是( )。
a、简单图
b、线图
c、多重图
d、不存在的
5、设简单无向图g有15条边,有3个4度结点,有4个3度结点,其余结点的度数均为2,那么g的结点数为( )。
a、9
b、10
c、11
d、12
6、设简单无向图g有16条边,有3个4度结点,有4个3度结点,其余结点的度数均大于3,那么g的结点数至多为
a、9
b、10
c、11
d、12
7、设,则下列与构成强连通图的边集的是( )。
a、
b、
c、
d、
8、下列无向图不一定为树的是( )。
a、无回路的连通图
b、有n个结点,n-1条边的连通图
c、每对结点间都有通路的图
d、连通但删去一条边便不连通的图
9、连通图g是一棵树的充要条件是( )。
a、有些边不是割边
b、每条边都是割边
c、无边割集
d、每条边都不是割边
10、一棵树有2个2度结点,1个3度结点,3个4度结点,则其1度结点数为( )。
a、5
b、7
c、8
d、9
11、下面( )不能成为图的度数序列。
a、(1,2,3,4)
b、(1,2,3,6)
c、(1,3,5,7)
d、(1,3,4,9)
12、设g是具有n个结点的无向完全图,则g中有( )条边。
a、
b、
c、
d、
13、下列图中,( )是单向连通,而不是强连通的。
a、
b、
c、
d、
14、图g是由5棵树构成的森林,且有20个结点,则g有( )条边。
a、15
b、16
c、18
d、19
15、设都是(4,3)的简单图,则它们之间至少有( )个是同构的。
a、2
b、3
c、4
d、可能都不同构
16、一棵树有7片树叶,3个3度结点,其余都是4度结点,则该树有( )个4度结点。
a、1
b、2
c、3
d、4
17、设连通图,t是g的一棵生成树,则t=( )。
a、
b、
c、
d、
18、设图g的邻接矩阵为 ,则g的补图的邻接矩阵为( )。
a、
b、
c、
d、
19、设2元完全树t有11片树叶,则t有( )个分支点。
a、8
b、9
c、10
d、11
20、任何一棵非平凡树中至少有( )片叶子。
a、1
b、2
c、3
d、4
树的作业1、
第十讲 特殊图特殊图的作业1、
猜你喜欢
- 2022-12-05 21:37
- 2022-12-05 21:22
- 2022-12-05 20:37
- 2022-12-05 20:30
- 2022-12-05 20:28
- 2022-12-05 19:39
- 2022-12-05 19:35
- 2022-12-05 19:17
- 2022-12-05 19:09
- 2022-12-05 19:04