问答题
证明：A为无限集当且仅当对A上的任意函数f，恒有A的非空真子集B，使f（B）B.
问答题证明：A为无限集当且仅当对A上的任意函数f，恒有A的非空真子集B，使f（B）⊆B.
证明：若A是有限集，B是无限集，则∣A∣＜∣B∣（要求从定义出发直接证明）。
问答题证明：若A是有限集，B是无限集，则∣A∣＜∣B∣（要求从定义出发直接证明）。
用全真值表或部分真值表证明下列各题的有效结论：pq，qr=>pr
问答题用全真值表或部分真值表证明下列各题的有效结论：p↔q，q↔r=>p↔r
