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

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

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

证明：A为无限集当且仅当对A上的任意函数f，恒有A的非空真子集B，使f（B）B.

问答题证明：A为无限集当且仅当对A上的任意函数f，恒有A的非空真子集B，使f（B）⊆B.

证明：若A是有限集，B是无限集，则∣A∣＜∣B∣（要求从定义出发直接证明）。

问答题证明：若A是有限集，B是无限集，则∣A∣＜∣B∣（要求从定义出发直接证明）。