期末练习题12年1学期

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

习题

一. 多重选择填空题

(本题包括16个空格,每个空格3分,共48分。每道小题都可能有一个以上的正确选项,须选出所有的正确选项,不答不得分,多选、少选或选错都将按比例扣分。)

1. 命题公式 (P∧(P →Q))→Q是_____式。

(1) 重言 (2) 矛盾 (3) 可满足 (4) 非永真的可满足

2.给定解释I=(D,C I )=(整数集,{f(x,y):f(x,y)=x-y ;g(x ,y):g (x,y )=x +y ;P(x,y):x

(1) P(f (x,y),g(x,y)) (2) ∀x∀y P(f(x ,y ),g(x,y))

(3) ∀x ∀y (P (x,y)→ P(f (x,y ),x)) (4) ∀x ∃y P(f (x,y),g (x,y))

3. A是集合,A =10,则)(A P =_____。

(1) 100 (2) 99 (3) 2048 (4) 1024 (5) 512

4. 集合A={x|x 是整数,2

x <30},B={x|x是质数,x<20},C={1,3,5},则

①C B A )(=_____;

②C A B )(-=_____;

③)()(A B A C -- =_____;

④A C B -)( =_____。

(1) {1,2,3,5} (2) φ (3) {0}

(4) {1,3,5,7,11,13,17,19} (5) {1,3,5,7} (6) {7,11,13,17,19}

5.设A、B 、C是集合,下列四个命题中,_____在任何情况下都是正确的。

(1) 若A ⊆B 且B ∈C ,则A ∈C (2) 若A ⊆B 且B ∈C,则A ⊆C

(3) 若A∈B 且B ⊆C ,则A ⊆C (4) 若A ∈B 且B ⊆C,则A ∈C

5127.S={1,2,3,4,5,6,7,8,9,10,11,12},≤是S 上的整除关系。S的子集B={2,4,6},则在(S,≤)中,B的最大元是_____;B 的最小元是_____;B的上确界是_____;B的下确界是_____。

(1) 不存在的 (2) 36 (3) 24 (4) 12 (5) 6 (6) 1 (7) 2

8.设有有限布尔代数(B,+,*,’,0,1),则B =_____能成立。

(1) 1 (2) 2 (3) 3 (4) 4 (5) 5 (6) 8 (7) 9

9. n 个结点、m 条边的无向连通图是树当且仅当m=_____。

(1) n+1 (2) n (3) n-1 (4)2n-1

二. 请给出命题公式))(())((C B A C B A ⌝∧⌝↔⌝∧∧→的主析取范式。(10分)

三. 假设下列陈述都是正确的:

(1)学生会的每个成员都是学生并且是班干部;

(2)有些成员是女生。

问是否有成员是女班干部?请将上述陈述和你的结论符号化,并给出你的结论的形式证明。(10分)

四. 设R 和S 是集合X 上的等价关系,则S ∩R 必是等价关系。(10分)

六。假设在图G(有向图或无向图)中,有10条边,4个3度的结点,其余结点的度数不大于2。问G 中至少有几个结点?(10分)

一、选择题

1.令P:今天下雪了,Q:路滑,则命题“虽然今天下雪了,但是路不.滑”可符号化为()

A.P→Qﻩ B.P∨Q

C.P∧Q

D.P∧Q

2.下列命题公式为重言式的是( )

A.Q→(P∧Q)ﻩB.P→(P∧Q)

C.(P∧Q)→P D.(P∨Q)→Q

4.谓词公式∀x(P(x)∨∃yR(y))→Q(x)中量词x

∀的辖域是()

A.))

x∃

P

x

∀ B.P(x)

)

yR

(

(

(y

C.(P(x)∨∃yR(y)) D.P(x), Q(x)

5.设个体域A={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)

6.下列选项中错误

..的是( )

A.Ø⊆ØﻩB.Ø∈Ø

C.Ø⊆{Ø}ﻩ D.Ø∈{Ø}

7.设A={a,b,c,d},A上的等价关系R={, <c, d>, }∪IA,则对应于R的A

的划分是()

A.{{a},{b, c},{d}} B.{{a, b},{c}, {d}}

C.{{a},{b},{c},{d}} D.{{a, b}, {c,d}}

8.设R为实数集,函数f:R→R,f(x)=2x,则f是( )

A.满射函数B.入射函数

C.双射函数ﻩD.非入射非满射

10.下列运算中关于整数集不.能构成半群的是()

A.a b=max{a, b}ﻩB.a b=b

C.a b=2ab D.a b=|a-b|

12.设A={a, b,c},R是A上的二元关系,R={<a, a>, ,

A.反自反的B.反对称的

C.可传递的D.不可传递的

13.设D=<V, E>为有向图,V={a, b, c, d, e, f}, E={,<a,d>, }是

( )A.强连通图ﻩB.单向连通图

C.弱连通图ﻩD.不连通图

14.在有n个结点的连通图中,其边数()

A.最多有n-1条ﻩ

B.至少有n-1条

相关文档
最新文档