离散(数理逻辑)复习题.docVIP

离散数学1（数理逻辑）复习题? 一、单项选择题? 在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。? 1．下列为两个命题变元P，Q的小项是（　　　） A．P∧Q∧??P? B．??P∨Q C．??P∧Q? D．??P∨P∨Q 2．下列语句中是真命题的是（　　　） A．我正在说谎? B．严禁吸烟 C．如果1+2=3，那么雪是黑的? D．如果1+2=5，那么雪是黑的 3．设P：我们划船，Q：我们跑步。命题“我们不能既划船又跑步”符号化为（　　　） A．??P∧??Q? B．??P∨??Q C．?（P?Q）? D．?（??P∨??Q） 4．命题公式（P∧（P→Q））→Q是（　　　） A．矛盾式? B．蕴含式 C．重言式 D．等价式 5．命题公式?（P∧Q∧R）的成真指派是（　　　） A．000，001，110 B．001，011，101，110，111 C．全体指派? D．无 6．在公式（）F（x，y）→（?y）G（x，y）中变元x是（　　　） A．自由变元? B．约束变元 C．既是自由变元，又是约束变元? D．既不是自由变元，又不是约束变元 二、填空题 请在每小题的空格中填上正确答案。错填、不填均无分。 1．（）（y）（P（x，y）Q（y，z））∧xP（x，y）中的辖域为________，x的辖域为________。 2．两个重言式的析取是________式，一个重言式与一个矛盾式的析取是________式。 三、计算题 1．构造命题公式（（P∧Q）→P）∨R的真值表。 2．求下列公式的主合取范式和主析取范式：P∨（??P→（Q∨（??Q→R））） 四、证明题 构造下面推理的证明。 如果小张和小王去看电影，则小李也去看电影。小赵不去看电影或小张去看电影。小王去看电影。所以，当小赵去看电影时，小李也去。 一、单项选择题(30分)在每小题列出的四个选项中只有一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。 1.命题公式(a∧b)∨(a∧b∧c)∨(b∧c)的等价式是( ) A.b∧(a∨c) B.(a∧b)∨(┐a∧b) C.(a∨b)∧(a∨b∨c)∧(b∨c) D.(b∨c)∧(a∨c) 2.设解释R如下：论域D为实数集，a=0,f(x,y)=x-y,A(x,y):xy.下列公式在R下为真的是( ) A.(x)(y)(z)(A(x,y))→A(f(x,z),f(y,z)) B.(x)A(f(a,x),a) C.(x)(y)（A(f(x,y),x)) D.(x)(y)(A(x,y)→A(f(x,a),a)) 3.设B是不含变元x的公式，谓词公式(x)(A(x)→B)等价于( ) A.(x)A(x)→B B.(x)A(x)→B C.A(x)→B D.(x)A(x)→(x)B 4.谓词公式(x)(P(x,y))→(z)Q(x,z)∧(y)R(x,y)中变元x( ) A.是自由变元但不是约束变元 B.既不是自由变元又不是约束变元 C.既是自由变元又是约束变元 D.是约束变元但不是自由变元 5.若P：他聪明；Q：他用功；则“他虽聪明，但不用功”，可符号化为( ) A.P∨Q B.P∧┐Q C.P→┐Q D.P∨┐Q 6.以下命题公式中，为永假式的是( ) A.p→(p∨q∨r) B.(p→┐p)→┐p C.┐(q→q)∧p D.┐(q∨┐p)→(p∧┐p) 二、填空题(20分) 1.使公式(x)( y)(A(x)∧B(y))(x)A(x)∧(y)B(y)成立的条件是______不含有y，______不含有x。 2.设M(x):x是人，D(s):x是要死的，则命题“所有的人都是要死的”可符号化为(x)______,其中量词(x)的辖域是______。 3.若H1∧H2∧…∧Hn是______，则称H1,H2,…,Hn是相容的，若H1∧H2∧…∧Hn是______，则称H1,H2,…,Hn是不相容的。 4.判断一个语句是否为命题，首先要看它是否为