设R是集合A上的一个等价关系,|A1,A2,...,Ak|为A的子集族,且对任意x,y∈A满足
可否断定{A1,A2,...,Ak}为A的一个划分?若可以,请证明它确为A的划分;若不可以,请补适当条件,以使上述断言成立.
设A、B是两个集合,若存在一个从A到B上的一一映射f,则称A与B等势(或有相同的基数),记作AB.证明:区间[0,1]与区间[a,b]等势,其中a、b∈R.
设A={a}n={an|n≥0},B是单元素集合B=(z),这里z是a的无限串即B={aaa···},设R是AUB上的关系,定义如下:
证明或否定< A,z>∈R+。
(1)设<L,∧,∨,',0,1>是布尔代数,则L中的运算∧和∨Ⓐ,运算V的幺元是Ⓑ,零元是Ⓒ,最小的子布尔代数是由集合Ⓓ构成。
(2)在布尔代数L中表达式(a∧b)∨(a∧b∧c)∨(b∧c)的等值式是Ⓔ。
供选择的答案
A:①适合德·摩根律,幂等律,消去律和结合律;
②适合德·摩根律,结合律,幂等律,分配律;
③适合结合律,交换律,消去律,分配律。
B,C:④0;⑤1。
D:⑥{1};⑦(0,1}。
E:⑧b∧(a∨c);⑨(a∧c)∨(a'∧b);⑩(a∨b)∧(a∨b∨c)∧(b∨c)。
设 < A,* > 是半群,e是左幺元且对每一个x∈A,存在
a)证明:对于任意的a,b,c∈A,如果a*b=a*c,则b=c.
b)通过证明e是A中的么元,证明: < A,* > 是群。