10秋作业6(06任务)：数理逻辑部分概念.doc

离散数学作业6数理逻辑部分概念及性质单项选择题1设P：我将去打球，Q：我有时间命题“我将去打球，仅当我有时间时”符号化为( )A B C D答 B2设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ( )A0, 0, 0 B0, 0, 1 C0, 1, 0 D1, 0, 0答 D3命题公式(PQ)R的析取范式是 ( )A(PQ)R B(PQ)RC(PQ)R D(PQ)R答 D4命题公式（PQ）的合取范式是 ( )A（PQ） B（PQ）（PQ）C（PQ） D（PQ）答 C5命题公式的析取范式是( )A B C D解 答 A6下列等价公式成立的为( )APQPQ BP(QP) P(PQ)CQ(PQ) Q(PQ) DP(PQ) Q解 APQ(PQ)BP(QP)P(QP) P(PQ)P(PQ)CQ(PQ)Q(PQ)DP(PQ)(PP)(PQ)1(PQ)PQ答 B7下列公式成立的为( )APQ PQ BPQ PQCQP P DP(PQ)Q解 APQ(PQ)BPQ PQC(QP)P(QP)P(QP)P(QP)(PP)(QP)1PQ（不是永真式）DP(PQ)Q（析取三段论，P171公式(10)）答 D8下列公式中 ( )为永真式AAB AB BAB (AB)CAB AB DAB (AB)解 A，B，C，D，答 B9下列公式 ( )为重言式APQPQ B(Q(PQ)(Q(PQ)C(P(QP)(P(PQ) D(P(PQ) Q解 A，BC(P(QP)(P(PQ)1D答 C10设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)答 C11设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)答 A12设C(x)：x是国家级运动员，G(x)：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ( )A BC D答 D13表达式中的辖域是( )AP(x, y) BP(x, y)Q(z) CR(x, y) DP(x, y)R(x, y)答 B14在谓词公式(x)(A(x)B(x)C(x，y)中，（ ）Ax，y都是约束变元 Bx，y都是自由变元Cx是约束变元，y是自由变元 Dx是自由变元，y是约束变元答 C15设个体域D=a, b, c，那么谓词公式消去量词后的等值式为 A(A(a)A(b)A(c)(B(a)B(b)B(c)B(A(a)A(b)A(c)(B(a)B(b)B(c)C(A(a)A(b)A(c)(B(a)B(b)B(c)D(A(a)A(b)A(c)(B(a)B(b)B(c)答 A答案：1B 2D 3D 4C 5A 6B 7D 8B 9C 10C11A 12D 13B 14C 15A活动说明：本次作业主要是通过单项选择题的形式，使大家了解自己对第三单元数理逻辑的基本概念、基本公式、基本计算方法掌握的情况，更好地掌握这一部分的重点内容本次作业由10个单项选择题组成，每小题10分，满分100分请大家按照题目的要求选择正确答案，正确答案是唯一的本次作业在关闭之前，允许大家反复多次练习，系统将保留您的最好成绩，希望大家多做练习，争取好成绩需要提醒大家的是每次练习的作业题目可能不一样，请大家一定要认真阅读题目活动要求：每位同学在完成本次作业前，应该积极利用课程平台中的相关资源开展学习，或参加教学点的面授辅导课希望大家：1理解了命题概念，会判别语句是不是命题；理解了五个联结词及其真值表，了解公式的概念，会将简单命题符号化；理解了永真式和永假式概念，掌握其判别方法；了解公式等价概念，知道联结词、与关系符、之间的区别；理解了析取范式、合取范式、主析取范式和主合取范式的概念 2理解了谓词、量词、个体词