离散数学题库道客阅读

离散数学试题1

一、单项选择题(本大题共15小题，每小题1分，共15分)

在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.下列句子为命题的是( ) A.走，看电影去

C.空集是任意集合的真子集

B.x+y>0 D.你明天能来吗?

2.下列式子不是谓词合式公式的是( ) ．．A.(?x)(P(x)→(?x)(Q(x) ∧A(x，y))) C.(?x)P(x)→R(y)

3.下列式子为重言式的是( ) A.P→P∨Q C.﹁ (P Q)

B.(﹁P∧Q)∧(P∨﹁Q) D.(P∨Q) (P→Q) B.(?x)∧(?y)∨P(x，y) D.(?x)P(x)∧Q(y，z)

4.设个体域为实数集，特定元素a=0，函数f(x，y)=x-y，特定谓词F(x，y)为x

A.(?x)(?y)F(x，f(f(x，y)，y)) B.(?x)(?y)(﹁F(f(x，y)，x))

C.(?x)(?y)(?z)(F(x，y)→F(f(x，z)，f(y，z))) D.(?x)F(f(a，x)，a)

5.对于公式(?x)(?y)P(x，y)∨Q(x，z)∧(?x)P

《离散数学》题库答案

一、选择或填空 （数理逻辑部分）

1、下列哪些公式为永真蕴含式？( )

(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P?(P?Q)=>?P 答：（1），（4）

2、下列公式中哪些是永真式？( )

(1)(┐P?Q)→(Q→?R) (2)P→(Q→Q) (3)(P?Q)→P (4)P→(P?Q)

答：（2），（3），（4）

3、设有下列公式，请问哪几个是永真蕴涵式?( ) (1)P=>P?Q (2) P?Q=>P (3) P?Q=>P?Q

(4)P?(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P?(P?Q)=>?P

答：（2），（3），（4），（5），（6）

4、公式?x((A(x)?B(y，x))? ?z C(y，z))?D(x)中，自由变元是( 变元是( )。

答：x,y, x,z

5、判断下列语句是不是命题。若是，给出命题的真值。( (1) 北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。

1

)，约束)

(3) 你喜欢唱歌吗？ (4) 若7+

数理逻辑习题

判断题

1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式p?(?p?q)是永真式 （ √ ） 3．命题公式(p?q)?p是永真式 （ √ ） 4．命题公式p??q?r的成真赋值为010 （ × ） 5．?xA(x)?B??x(A(x)?B) （ √ ）

6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p?(p?q)?p （ √ ）

8．?x(F(x)?G(x))是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． ?xF(x)??xG(x)是永真式（ √ ）

11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p?(p?q)?p （ √ ）

13．?x(F(x)?G(x))是永假式 （ × ）

14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若p:雪是黑色的，则公式p?q是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．公式p?q的特异（主）析取式为?p?q （ × ） 18．命题公式 ?p?(q?r)的成假赋值是110 （ √ ） 19．一阶逻辑公式?x(F(x)?G(x,y))是闭式（ × ）

单项选择题

数理逻辑习题

判断题

1．任何命题公式存在惟一的特异析取范式 （ √ ） 2． 公式p?(?p?q)是永真式 （ √ ） 3．命题公式(p?q)?p是永真式 （ √ ） 4．命题公式p??q?r的成真赋值为010 （ × ） 5．?xA(x)?B??x(A(x)?B) （ √ ）

6．命题“如果1＋2＝3，则雪是黑的”是真命题 （ × ） 7．p?(p?q)?p （ √ ）

8．?x(F(x)?G(x))是永真式 （ × ） 9．“我正在撒谎”是命题 （ × ） 10． ?xF(x)??xG(x)是永真式（ √ ）

11．命题“如果1＋2＝0，则雪是黑的”是假命题 （ × ） 12．p?(p?q)?p （ √ ）

13．?x(F(x)?G(x))是永假式 （ × ）

14．每个命题公式都有唯一的特异（主）合取范式 （ √ ） 15．若p:雪是黑色的，则公式p?q是永真式 （ √ ） 16．每个逻辑公式都有唯一的前束范式 （ × ） 17．公式p?q的特异（主）析取式为?p?q （ × ） 18．命题公式 ?p?(q?r)的成假赋值是110 （ √ ） 19．一阶逻辑公式?x(F(x)?G(x,y))是闭式（ × ）

单项选择题

《离散数学》题库与答案 一、选择或填空

（数理逻辑部分）

1、下列哪些公式为永真蕴含式？( )

(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P?(P?Q)=>?P

答：在第三章里面有公式（1）是附加律，（4）可以由第二章的蕴含等值式求出（注意与吸收律区别）

2、下列公式中哪些是永真式？( )

(1)(┐P?Q)→(Q→?R) (2)P→(Q→Q) (3)(P?Q)→P (4)P→(P?Q)

答：（2），（3），（4） 可用蕴含等值式证明

3、设有下列公式，请问哪几个是永真蕴涵式?( ) (1)P=>P?Q (2) P?Q=>P (3) P?Q=>P?Q

(4)P?(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P?(P?Q)=>?P

答：（2）是第三章的化简律，（3）类似附加律，（4）是假言推理，（3），（5），（6）都可以用蕴含等值式来证明出是永真蕴含式

4、公式?x((A(x)?B(y，x))? ?z C(y，z))?D(x)中，自由变元是( )，约束变元是( )。

答：x,y, x,z（考察定义在公式?x

《离散数学》题库答案

一、选择或填空 （数理逻辑部分）

1、下列哪些公式为永真蕴含式？( )

(1)?Q=>Q→P (2)?Q=>P→Q (3)P=>P→Q (4)?P?(P?Q)=>?P 答：（1），（4）

2、下列公式中哪些是永真式？( )

(1)(┐P?Q)→(Q→?R) (2)P→(Q→Q) (3)(P?Q)→P (4)P→(P?Q)

答：（2），（3），（4）

3、设有下列公式，请问哪几个是永真蕴涵式?( ) (1)P=>P?Q (2) P?Q=>P (3) P?Q=>P?Q

(4)P?(P→Q)=>Q (5) ?(P→Q)=>P (6) ?P?(P?Q)=>?P

答：（2），（3），（4），（5），（6）

4、公式?x((A(x)?B(y，x))? ?z C(y，z))?D(x)中，自由变元是( 变元是( )。

答：x,y, x,z

5、判断下列语句是不是命题。若是，给出命题的真值。( (1) 北京是中华人民共和国的首都。 (2) 陕西师大是一座工厂。

1

)，约束)

(3) 你喜欢唱歌吗？ (4) 若7+

模拟试题(一)

一、 单项选择题

在下列每小题的四个备选答案中选出一个正确的答案，并将其字母标号填入题目的括号内。

1．给定命题公式如下：(?p?q)?(?q?p) 成真赋值的个数为（ ）。

A．1 Ｂ．2 Ｃ．3 Ｄ．4

2. 设个体域D={a,b}，公式?xP?x???xS?x?在A中消去量词后应为（ ） A．P?x??S?x? B．P?a??P?b???S(a)?S(b)? C．P?a??S?b? D．P?a??P?b??S(a)?S(b) 3．若R和S是集合A上的两个关系，则下述结论正确的是（ ）。 A．若R和S是自反的，则R?S也是自反的 B．若R和S是对称的，则R?S也是对称的

C．若R和S是反对称的，则R?S也是反对成的 D．若R和S是传递的，则R?S也是传递的

4．设全集U={1,2,3,...,20},A,B,C是其子集，其A?{x|x?4}，

。 B?{x|x2?6x?7?0},C?{x|x2?100}则~A?~B?~C?（ ）

A．{16,17,18,1

模拟试题(一)

一、 单项选择题

在下列每小题的四个备选答案中选出一个正确的答案，并将其字母标号填入题目的括号内。

1．给定命题公式如下：(?p?q)?(?q?p) 成真赋值的个数为（ ）。

A．1 Ｂ．2 Ｃ．3 Ｄ．4

2. 设个体域D={a,b}，公式?xP?x???xS?x?在A中消去量词后应为（ ） A．P?x??S?x? B．P?a??P?b???S(a)?S(b)? C．P?a??S?b? D．P?a??P?b??S(a)?S(b) 3．若R和S是集合A上的两个关系，则下述结论正确的是（ ）。 A．若R和S是自反的，则R?S也是自反的 B．若R和S是对称的，则R?S也是对称的

C．若R和S是反对称的，则R?S也是反对成的 D．若R和S是传递的，则R?S也是传递的

4．设全集U={1,2,3,...,20},A,B,C是其子集，其A?{x|x?4}，

。 B?{x|x2?6x?7?0},C?{x|x2?100}则~A?~B?~C?（ ）

A．{16,17,18,1

《离散数学》复习资料 2014年12月

一、单项选择题（每小题3分，本题共15分）

1．若集合A={1，2}，B={1，2，{1，2}}，则下列表述正确的是( A )．

A． A?B，且A?B B．B?A，且A?B C．A?B，且A?B D．A?B，且A?B 2．设有向图（a）、（b）、（c）与（d）如图一所示，则下列结论成立的是 ( D )．

图一 A．（a）是强连通的 B．（b）是强连通的

C．（c）是强连通的 D．（d）是强连通的 3．设图G的邻接矩阵为

?01100??10011???

?10000???01001????01010??则G的边数为( B )．

A．6 B．5 C．4 D．3

4．无向简单图G是棵树，当且仅当( A )．

A．G连通且边数比结点数少1 B．G连通且结点数比边数少1 C．G的边数比结点数少1 D．G中没有回路． 5．下列公式 ( C

离散数学标准化作业纸 专业班级 学号 姓名 第一章 命题逻辑的基本概念

一、判断下列语句是否是命题，若是命题是复合命题则请将其符号化 （1）中国有四大发明。 （2）2是有理数。 （3）“请进！”

（4）刘红和魏新是同学。 （5）a+b

（6）你去图书馆吗？

（7）如果买不到飞机票，我哪儿也不去。

（8）侈而惰者贫，而力而俭者富。（韩非：《韩非子?显学》） （9）火星上有生命。 （10）这朵玫瑰花多美丽啊！

二、将下列命题符号化，其中p:2<1,q:3<2 （1）只要2<1，就有3<2。 （2）如果2<1，则3?2。 （3）只有2<1，才有3?2。 （4）除非2<1，才有3?2。 （5）除非2<1，否则3?2。 （6）2<1仅当3<2。 三、将下列命题符号化

(1)小丽只能从筐里拿一个苹果或一个梨。 (2)王栋生于1992年或1993年。

- 1 -

离散数学标准化作业纸 专业班级 学号 姓名 四、设p、q的真值为0；r、s的真值为1，求下列各命题公式的真值。 （1）p∨(q∧r) （2）（p?r）