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

用全真值表或部分真值表证明下列各题的有效结论：pq，qr=>pr

问答题用全真值表或部分真值表证明下列各题的有效结论：p↔q，q↔r=>p↔r

求证：若f：A→B是单射，则对A的任意子集X和Y，f（X∩Y）=f（X）∩f（Y）.

问答题求证：若f：A→B是单射，则对A的任意子集X和Y，f（X∩Y）=f（X）∩f（Y）.

用全真值表或部分真值表证明下列各题的有效结论：p∨p，p→q，p→q=>q

问答题用全真值表或部分真值表证明下列各题的有效结论：p∨¬p，p→q，¬p→q=>q