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