问答题
证明下面各命题推得的结论是有效的：如果今天是星期三，那么我有一次离散数学或数学逻辑测验。如果离散数学课老师有事，那么没有离散数学测验。今天是星期三且离散数学老师有事。所以，我有一次数字逻辑测验。
问答题 思考考你对（4）给出的条件，在X，Y为无限集时还适用吗？
问答题 用归谬法推证下列各题的有效结论：p→q，r→q，r=>p
问答题 X与Y分别满足什么条件时，f可能是满射，单射和双射？
