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

离散数学作业6 数理逻辑部分概念及性质 单项选择题 1．设P：我将去打球，Q：我有时间．命题“我将去打球，仅当我有时间时”符号化为 ． A． B． C． D． 答 B 2．设命题公式G：，则使公式G取真值为1的P，Q，R赋值分别是 ． A．B．C．D．P Q R的析取范式是 ． A． P Q R B． P Q R C． P Q R D． P Q R 答 D 4．命题公式（P Q）的合取范式是 ． A．（P Q） B．（P Q） （P Q） C．（P Q） D． （ P Q） 答 C 5．命题公式的析取范式是 ． A．B C．D． 答 A 6．下列等价公式成立的为 ． A． P Q P Q B．P Q P P P Q C． P Q Q P Q D． P Q Q 解 A． P Q P Q B．P Q P P Q P P P Q P P Q C． P Q Q P Q D． P Q P P P Q 1 P Q P Q 答 B 7．下列公式成立的为 ． A． P Q P Q B．P Q P Q C． P P D． PQ 解 A． P Q P Q B．P Q P Q C． P P Q P P Q P P Q P P P Q P 1 P Q（不是永真式） D． P Q Q（析取三段论，P171公式 10 ） 答 D 8．下列公式中 为永真式． A． A B A B B． A B A B C． B A B D． B A B 解 A．， B．， C． D． 答 B 9．下列公式 为重言式． A． P Q P Q B． Q P Q Q P Q C． Q P P P Q D． P P Q Q 解 A． B． C． Q P P P Q 1 D． 答 C 10．设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 答 C 11．设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 答 A 12．设C x ：x是国家级运动员，G x ：x是健壮的，则命题“没有一个国家级运动员不是健壮的”可符号化为 ． A． B． C．D．中的辖域是 ．．．．． x A x →B x C x，y 中A．x，y都是约束变元 B．x，y都是自由变元约束变元变元变元约束变元消去量词后的等值式为 ． A．．．．C 5．A 6．B 7．D 8．B 9．C 10．C 11．A 12．D 13．B 14．C 15．A 活动说明：本次作业主要是通过单项选择题的形式，使大家了解自己对第三单元数理逻辑的基本概念、基本公式、基本计算方法掌握的情况，．1．理解命题概念，会判别语句是不是命题理解五个联结词及其真值表，了解公式的概念，会将简单命题符号化理解永真式和永假式概念，掌握其判别方法了解公式等价概念，知道联结词 、 与关系符 、 之间的区别析取范式合取范式、主析取范式和主合取范式的概念． 2．理解谓词、量词、个体词、个体域等概念，会将简单命题符号化了解原子公式、谓词公式、约束变元自由变元辖域等概念理解等价式与蕴含式的概念，前束范式的概念 3