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

离散数学? 一、单项选择题?在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。?1．下列为两个命题变元P，Q的小项是（　　　）A．PQ∧??P? B．??PQ C．??PQ? D．??PP∨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，110B．001，011，101，110，111C．全体指派?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的辖域为________。．两个重言式的析取是________式，一个重言式与一个矛盾式的析取是________式。三、计算题．构造命题公式（（PQ）→P）R的真值表。2．求下列公式的主合取范式和主析取范式：P??P→（Q∨（??Q→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.判断一个语句是否为命题，首先要看它是否为 ，然后再看它是否具有唯一的 。 三、计算题 (共20分) 1.求┐(P→Q)的主合取范式并给出所有使命题为真的赋值。 2.求公式┐((x)F(x,y)→(y)G(x,y))∨(x)H(x)的前束范式。 四、证明题 (共30分) 1.在个体域D={a1,a2,…，an}中证明等价式： (x)(A(x)→B(x))(x)A(x)→(x)B(x) 2.如果他是计算机系本科生或者是计算机系研究生，那么他一定学过DELPHI语言而且学过C++语言。只要他学过DELPHI语言或者C++语言，那么他就会编程序。因此如果他是计算机系本科生，那么他就会编程序。请用命题逻辑推理方法，证明该推理的有效结论。 离散数学复习题及答案 一、证明题（10分） 1)((P∨Q)∧(((P∧((Q∨(R)))∨((