离散数学题目答案app

数理逻辑习题

判断题

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

一、单项选择题(本大题共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+

2006年下半年《离散数学》（闭卷）70学时

离散数学（A卷）

闭卷、70学时

一、 填空选择题 (每空1分，共26分)

1、给定命题公式如下：p?(q??r)。该公式的成真赋值为A,成假赋值为B,公式的类型为C。

供选择的答案

A：①无；②全体赋值；

③010，100，101，111；④010，100，101，110，111。

B：①无；②全体赋值；③000，001，011；④000，010，110。 C：①重言式；②矛盾式；③可满足式。

（?x)(P(y)?Q(x,y))?(?y)R(x,y)中，?x的辖域是 P(z)→Q(x,z) ， 2、在公式

?y的辖域是 R(x,z) 。

3、设Z+={x∣x∈Z∧X>0},π1, π2,π3是Z+的3个划分。

π1={{x}∣x∈Z+},π2={S1,S2},S1为素数集,S2=Z+-S1.π3＝{Z+}, (1)3个划分块中最多的是A,最少的是B. +++

(2)划分π1对应的是Z上的C,π2对应的是Z上的D,π3对应的是Z上的E. 供选择的答案

A:( ①),B:( ③ ) ①π1, ②π2,③π3. C:( ⑧)

第一章

1. 假定A是ECNU二年级的学生集合，B是ECNU必须学离散数学的学生的集合。请用A

和B表示ECNU不必学习离散数学的二年级的学生的集合。

试求： P(?) P(P(?)) P(P(P(?)))

2. (1) (2) (3)

3. 在1?200的正整数中，能被3或5整除，但不能被15整除的正整数共有多少个？

能被5整除的有40个， 能被15整除的有13个，

∴能被3或5整除，但不能被15整除的正整数共有 66-13+40-13=80个。

第三章

1. (1) (2) (3) (4) (5)

下列语句是命题吗？ 2是正数吗？ x2+x+1=0。 我要上学。

明年2月1日下雨。

如果股票涨了，那么我就赚钱。

2. 请用自然语言表达命题(p??r)?(q??r)，其中p、q、r为如下命题： p：你得流感了

q：你错过了最后的考试 r：这门课你通过了

3. 通过真值表求p?(p?(q?p))的主析取范式和主合取范式。

4. 给出p?(q?s),q,p??r?r?s的形式证明。

第四章

1. 将?x(C(x)??y(C(y)?F(x,y)))翻译成汉语，其中C(x)表示x有电脑，F(x,y) 表示x和y是同

班同学，个体域是学校全体

暨 南 大 学 考 试 试 卷

2011 – 2012 学年度第 1 学期 课程类别 必修[√ ] 选修[ ] 考试方式 开卷[ ] 闭卷[√ ] 教 课程名称： 师 填 教师姓名： 写 代数结构与图论 授课 陈双平 1 月_13 日 考试时间: _2012 _ 年 试卷类别 答案 [A] 共 8 页 专业 班(级) 考 生 填 写 姓名 学院(校) 学号 内招[ ] 外招[ ]

题 号 一 二 三 四 五 六 七 八 九 十 总 分 得 分

得分 评阅人 一、填空题（共 4 小题 8 空，每空 2 分，共 16 分）

3 4 ?? 3 4 ??? 1 2 ? 1 2

1. ? ????? ， ? ? ????

3 1 ?? 2 1 ?? 2 4 ?? ? 4 3

σ= 中，单位元是 -1

，τσ= ，零元是 。

. 2. 设 A={2，4，6，8}，A 上的二元运算*定义为：a*b=min{a，b}，则在独异点 3. 设 G 是 n(n≧3)阶 m 条边的极大平面图，则 m 和 n 之间满足什么关系？

。

。

，它有

www.4juan.com 专注于收集各类历年试卷和答案

一、单项选择题(本大题共15小题，每小题1分，共15分)在每小题列出的四个选

项中只有一个选项是符合题目要求的，请将正确选项前的字母填在题后的括号内。 1.一个连通的无向图G，如果它的所有结点的度数都是偶数，那么它具有一条( ) A.汉密尔顿回路 B.欧拉回路 C.汉密尔顿通路 D.初级回路

2.设G是连通简单平面图，G中有11个顶点5个面，则G中的边是( ) A.10 B.12 C.16 D.14

3.在布尔代数L中，表达式(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) 4.设i是虚数，·是复数乘法运算，则G=<{1,-1,i,-i},·>是群，下列是G的子群是( ) A.<{1},·> B.〈{-1},·〉 C.

一、填空题

1 设集合A,B，其中A＝{1,2,3}, B= {1,2}, 则A - B＝____________________; (B)＝ __________________________ .

2. 设有限集合A, |A| = n, 则 | (A×A)| = __________________________.

3. 设集合A = {a, b}, B = {1, 2}, 则从A到B的所有映射是__________________________ _____________, 其中双射的是__________________________.

4. 已知命题公式G＝ (P Q)∧R，则G的主析取范式是_______________________________ __________________________________________________________.

6 设A、B为两个集合, A= {1,2,4}, B = {3,4}, 则从A B＝_________________________; A B＝_________________________;A－B＝ _____________________

暨 南 大 学 考 试 试 卷

2011 – 2012 学年度第 1 学期 课程类别 必修[√ ] 选修[ ] 考试方式 开卷[ ] 闭卷[√ ] 教 课程名称： 师 填 教师姓名： 写 代数结构与图论 授课 陈双平 1 月_13 日 考试时间: _2012 _ 年 试卷类别 答案 [A] 共 8 页 专业 班(级) 考 生 填 写 姓名 学院(校) 学号 内招[ ] 外招[ ]

题 号 一 二 三 四 五 六 七 八 九 十 总 分 得 分

得分 评阅人 一、填空题（共 4 小题 8 空，每空 2 分，共 16 分）

3 4 ?? 3 4 ??? 1 2 ? 1 2

1. ? ????? ， ? ? ????

3 1 ?? 2 1 ?? 2 4 ?? ? 4 3

σ= 中，单位元是 -1

，τσ= ，零元是 。

. 2. 设 A={2，4，6，8}，A 上的二元运算*定义为：a*b=min{a，b}，则在独异点 3. 设 G 是 n(n≧3)阶 m 条边的极大平面图，则 m 和 n 之间满足什么关系？

。

。

，它有