R为A上的等价关系,证明R·R也是等价的.

设R是集合A上的一个等价关系,|A₁,A₂,...,A_k|为A的子集族,且对任意x,y∈A满足

可否断定{A₁,A₂,...,A_k}为A的一个划分？若可以,请证明它确为A的划分;若不可以,请补适当条件,以使上述断言成立.

A.一定满足

B.一定不满足

C.不一定满足

D.不可能满足

公式(PVQ)→R的只含联结词的等价式为(),它的对偶式为().

设干为代数结构的载体N₃上的等价关系.

(1)证明:如果~是关于+₃的同余关系,那么~必定也是关于x₃的同余关系.

(2)(1)之逆并不成立

设R是有限集X上的一个二元关系，证明:

a)对于任意在X上的二元关系R,有R⁺是可传递的。

b)若有X上任何其他传递关系P,使得

c)R+就是定义3-8.1中所说的传递闭包。

设贝努里试验进行到第r次成功出现为止(每次试验中成功的概率为p，q=1-p)，令X为试验进行的次数，则事件X=k等价于“第k次试验出现成功，并且在其前k-1次试验中成功r-1次"，因此

此分布称为负二项分布，当r=1时，化为几何分布，

设齐次方程组

的系数矩阵的秩为r，证明：方程组的任意n-r个线性无关的解都是它的一基础解系。

r的最长前缀的长度为lce(l,r).设x=sa^-1[l],z=sa^-1[r],则sa[x]=I,sa[z]=r.不失一般性,可设x＜z.试证明lce(l,r)具有如下性质.

R为实数集，定义以下六个函数有

(1)指出哪些函数是R上的二元运算.

(2)对所有R上的二元运算说明是否为可交换。可结合，幂等的.

(3)求所有R上二元运算的单位元，零元以及每一个可逆元素的逆元.

设α₁，α₂，...，α_r是一组线性无关的向量，

证明：β₁，β₂，...，β_r线性无关的充分必要条件是