《2017离散数学答案1--5)(2)_1.pdf》由会员分享，可在线阅读，更多相关《2017离散数学答案1--5)(2)_1.pdf（20页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、 2017 离散数学答案 1-5)(2)06 任务_0001 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共 10 道试题，共 100 分。）1.命题公式的析取范式是()A.B.C.D.2.设个体域为整数集，则公式x$y(x+y=0)的解释可为()A.存在一整数 x 有整数 y 满足 x+y=0 B.任一整数 x 对任意整数 y 满足 x+y=0 C.对任一整数 x 存在整数 y 满足 x+y=0 D.存在一整数 x 对任意整数 y 满足 x+y=0 3.下列公式成立的为()A.PQ PQ B.PQ PQ C.QP P D.P(PQ)Q 4.下列公式中()为永真式 A.AB A
2、B B.AB (AB)C.AB AB D.AB (AB)5.设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为()A.B.C.D.6.命题公式(PQ)R 的析取范式是()A.(PQ)R B.(PQ)R C.(PQ)R D.(PQ)R 7.命题公式（PQ）的合取范式是()A.（PQ）B.（PQ）（PQ）C.（PQ）D.（PQ）8.设命题公式 G：，则使公式 G 取真值为 1 的 P，Q，R 赋值分别是()A.0,0,0 B.0,0,1 C.0,1,0 D.1,0,0 9.命题公式 PQ 的主合取范式是()C.重言式 D.合取范式 2.设个体域为整数集，则公式x$y(x+y
3、=0)的解释可为()A.存在一整数 x 有整数 y 满足 x+y=0 B.任一整数 x 对任意整数 y 满足 x+y=0 C.对任一整数 x 存在整数 y 满足 x+y=0 D.存在一整数 x 对任意整数 y 满足 x+y=0 3.命题公式的析取范式是()A.B.C.D.4.下列等价公式成立的为()A.PP QQ B.QPPQ C.PQPQ D.PP Q 5.设命题公式 G：，则使公式 G 取真值为 1 的 P，Q，R 赋值分别是()A.0,0,0 B.0,0,1 C.0,1,0 D.1,0,0 6.在谓词公式(x)(A(x)B(x)C(x，y)中，（）A.x，y 都是约束变元 B.x，y 都
4、是自由变元 C.x 是约束变元，y 都是自由变元 D.x 是自由变元，y 都是约束变元 7.命题公式 PQ 的主合取范式是()A.(PQ)B.PQ C.PQ D.PQ 8.设 A（x）：x 是人，B（x）：x 是教师，则命题“有人是教师”可符号化为（）A.(x)(A(x)B(x)B.(x)(A(x)B(x)C.(x)(A(x)B(x)D.(x)(A(x)B(x)9.设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为()A.B.C.D.10.命题公式(PQ)R 的析取范式是()A.(PQ)R B.(PQ)R C.(PQ)R D.(PQ)R 06 任务_0003 试卷总分：
5、100 测试时间：0 单项选择题 一、单项选择题（共 10 道试题，共 100 分。）1.设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为()A.B.C.D.2.下列公式成立的为()A.PQ PQ B.PQ PQ C.QP P D.P(PQ)Q 3.下列公式()为重言式 A.PQPQ B.(Q(PQ)(Q(PQ)C.(P(QP)(P(PQ)D.(P(PQ)Q 4.命题公式(PQ)R 的析取范式是()A.(PQ)R B.(PQ)R C.(PQ)R D.(PQ)R 5.命题公式 PQ 的主合取范式是()A.(PQ)B.PQ C.PQ D.PQ 6.在谓词公式(x)(A(x
6、)B(x)C(x，y)中，（）A.x，y 都是约束变元 B.x，y 都是自由变元 C.x 是约束变元，y 都是自由变元 D.x 是自由变元，y 都是约束变元 7.下列公式中()为永真式 A.AB AB B.AB (AB)C.AB AB D.AB (AB)8.设 A（x）：x 是书，B（x）：x 是数学书，则命题“不是所有书都是数学书”可符号化为（）A.(x)(A(x)B(x)B.(x)(A(x)B(x)C.(x)(A(x)B(x)D.(x)(A(x)B(x)9.设个体域 D=a,b,c，那么谓词公式消去量词后的等值式为 A.(A(a)A(b)A(c)(B(a)B(b)B(b)B.(A(a)A(
7、b)A(c)(B(a)B(b)B(b)C.(A(a)A(b)A(c)(B(a)B(b)B(b)D.(A(a)A(b)A(c)(B(a)B(b)B(b)10.前提条件的有效结论是()A.P B.P C.Q D.Q 06 任务_0004 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共 10 道试题，共 100 分。）1.下列公式成立的为()A.PQ PQ B.PQ PQ C.QP P D.P(PQ)Q 2.命题公式(PQ)R 的析取范式是()A.(PQ)R B.(PQ)R C.(PQ)R D.(PQ)R 3.设 A（x）：x 是人，B（x）：x 是教师，则命题“有人是教师”可符号化
8、为（）A.(x)(A(x)B(x)B.(x)(A(x)B(x)C.(x)(A(x)B(x)D.(x)(A(x)B(x)4.下列公式()为重言式 A.PQPQ B.(Q(PQ)(Q(PQ)C.(P(QP)(P(PQ)D.(P(PQ)Q 5.表达式中的辖域是()A.P(x,y)B.P(x,y)Q(z)C.R(x,y)D.P(x,y)R(x,y)6.命题公式（PQ）的合取范式是()A.（PQ）B.（PQ）（PQ）C.（PQ）D.（PQ）7.下列等价公式成立的为()A.PP QQ B.QPPQ C.PQPQ D.PP Q 8.在谓词公式(x)(A(x)B(x)C(x，y)中，（）A.x，y 都是约束变
9、元 B.x，y 都是自由变元 C.x 是约束变元，y 都是自由变元 D.x 是自由变元，y 都是约束变元 9.命题公式(PQ)Q 为()A.矛盾式 B.可满足式 C.重言式 D.合取范式 10.设个体域 D=a,b,c，那么谓词公式消去量词后的等值式为 A.(A(a)A(b)A(c)(B(a)B(b)B(b)B.(A(a)A(b)A(c)(B(a)B(b)B(b)C.(A(a)A(b)A(c)(B(a)B(b)B(b)D.(A(a)A(b)A(c)(B(a)B(b)B(b)06 任务_0005 试卷总分：100 测试时间：0 单项选择题 一、单项选择题（共 10 道试题，共 100 分。）1.
10、命题公式 PQ 的主合取范式是()A.(PQ)B.PQ C.PQ D.PQ 2.设个体域D是整数集合，则命题x$y(xy=y)的真值是（）A.T B.F C.不确定 D.以上说法都不是 3.命题公式的析取范式是()A.B.C.D.4.设 P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为()A.B.C.D.5.设个体域为整数集，则公式x$y(x+y=0)的解释可为()A.存在一整数 x 有整数 y 满足 x+y=0 B.任一整数 x 对任意整数 y 满足 x+y=0 C.对任一整数 x 存在整数 y 满足 x+y=0 D.存在一整数 x 对任意整数 y 满足 x+y=0 6
11、.命题公式(PQ)R 的析取范式是()A.(PQ)R B.(PQ)R C.(PQ)R D.(PQ)R 7.下列公式成立的为()A.PQ PQ B.PQ PQ C.QP P D.P(PQ)Q 8.设个体域 D=a,b,c，那么谓词公式消去量词后的等值式为 A.(A(a)A(b)A(c)(B(a)B(b)B(b)B.(A(a)A(b)A(c)(B(a)B(b)B(b)C.(A(a)A(b)A(c)(B(a)B(b)B(b)D.(A(a)A(b)A(c)(B(a)B(b)B(b)9.下列公式中()为永真式 A.AB AB B.AB (AB)C.AB AB D.AB (AB)10.下列等价公式成立的为()A.PP QQ B.QPPQ C.PQPQ D.PP Q