问答题
(1)设f:A→B,定义A上的关系R,使得aRb当且仅当f(a)=f(b).证明R是上的等价关系. (2)称由上述等价关系R导出的A上的划分为A的R商集,记作A/R.如下定义从商集A/R到B的关系g:任取c∈A/R,b∈B,<c,b>∈g当且仅当存在a∈A,c=[a]且f(a)=b.试证明f为满射时g为一双射函数.
问答题 推理证明下列各题的有效结论:p→(q∨r),(t∨s)→p,(t∨s)=>q∨r
问答题 用数学归纳法证明nn<2n2(n是正整数).
问答题 证明:A为无限集当且仅当对A上的任意函数f,恒有A的非空真子集B,使f(B)B.