秋作业(任务)：数理逻辑部分概念.docVIP

离散数学作业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．理解谓词、量词、个体词、个体域等概念，会将简单命题符号化了解原子公式、谓词公式、约束变元自由变元辖域等概念理解等价式与蕴含式的概念，前束范式的概念