计算题 推理证明下列各题的有效结论：p∧q，（p↔q）→（t∨s）=>（t∨s）

（1）设f：A→B，定义A上的关系R，使得aRb当且仅当f（a）=f（b）.证明R是上的等价关系． （2）称由...

问答题

（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

问答题推理证明下列各题的有效结论：p→（q∨r），（t∨s）→p，（t∨s）=>q∨r

用数学归纳法证明nn＜2n2（n是正整数）.

问答题用数学归纳法证明nⁿ＜2ⁿ²（n是正整数）.