期末练习题12年1学期
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 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>, 的划分是() 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条