计算题 证明下面各命题推得的结论是有效的：如果今天是星期三，那么我有一次离散数学或数学逻辑测验。如果离散数学课老师有事，那么没有离散数学测验。今天是星期三且离散数学老师有事。所以，我有一次数字逻辑测验。

思考考你对（4）给出的条件，在X，Y为无限集时还适用吗？

问答题思考考你对（4）给出的条件，在X，Y为无限集时还适用吗？

用归谬法推证下列各题的有效结论：p→q，r→q，r=>p

问答题用归谬法推证下列各题的有效结论：p→q，r→¬q，r=>¬p

X与Y分别满足什么条件时，f可能是满射，单射和双射？

问答题X与Y分别满足什么条件时，f可能是满射，单射和双射？