文档介绍：选择:(满分20分,每小题2分)
( )
⑴ 9+512 ; ⑵ x+3=5;
⑶我用的计算机CPU主频是1G吗?; ⑷我要努力学习。
“我不能一边听课,一边看小说”的符号化为( )
⑴; ⑵;
⑶; ⑷。
( )
⑴; ⑵;
⑶; ⑷。
( )个互不等价的小项。
⑴ n ; ⑵ n2 ; ⑶ 2n ; ⑷ 2n。
则它的主合取范式为( )
⑴; ⑵;
⑶; ⑷。
“尽管有人聪明,但未必一切人都聪明”的符号化
(P(x):x是聪明的,M(x):x是人) ( )
⑴
⑵
⑶
⑷
={} ,B=Р(Р(A)) 下列( )表达式成立。
⑴; ⑵; ⑶; ⑷。
,B是奇数集合,则A-B=( )
⑴素数集合; ⑵奇数集合; ⑶; ⑷{2}。
={2,3,6,12,24,36}上偏序关系R的Hass图为
则集合B={2,3,6,12}的上确界。
B={2,3,6,12}的下界。
B={6,12,24,36}的下确界。
B={6,12,24,36}的上界。
⑴ 2; ⑵ 3; ⑶ 6; ⑷ 12; ⑸无。
是双射,则( )一定是正确的。
⑴ g是入射; ⑵ f是入射; ⑶ g是满射; ⑷ f是满射。
填空:(满分20,每小题2分)
设P:它占据空间,Q:它有质量,R:它不断运动,
S:它叫做物质。命题“占据空间的,有质量的而且不断运动的叫做物质”的符号化为。
设A,B是两命题公式,当且仅当
。
,运用CP规则是。
。
={a1,a2,…,a8},Bi是S的子集,则
B31= 。
,R={<x,y>∣xy(mod3) 则
[1]= 。
〈Ρ({a,b}),〉的Hass图为
。
,设|X|=m ,|Y|=n ,则从X到Y的函数有
个。
,S={x|0<x<1},f:RS,则
f(x)= 为双射。
[N]= 0 ,K[(0,1)]= ,则
K[N×(0,1)]= 。
证明:(48分)
不构造真值表证明蕴涵式
(7分)
用逻辑推演下式
, , (7分)
用CP规则证明
(7分)
符号化并证明其结论:“所有有理数是实数,某些有理数是整数,因此某些实数是整数”(设R(x):x是实数,Q(x):x是有理数,I(x):x是整数) (7分)
设R是集合X上的一个自反关系,求证:R是对称的和传递的当且仅当<a,b>和<a,c>在R中,则有<b,c>在R中(8分)。
设f和g是函数,则f∩g也是函数。(6分)
证明[0,1]~(0,1) (6分)
四、(6分)集合S={1,2,3,4,5},找出S上的等价关系,
此关系能产生划分{{1,2},{3},{4,5}},并画出关系图。
五、(6分)求的主合取范式。
一、选择:(满分20,每小题2分)
1.⑵⑶;2.⑴⑷;3.⑴⑶;4.⑷;5. ⑵ 6.⑶;