问答题
计算题
判断以下推理是否正确，先得简单命题符号化，再写出前提，结论，推理的形式结构（以蕴含式的形式给出）和判断过程。
若今天是星期一，则明天是星期三；明天不是星期三，所以今天不是星期一。
【参考答案】
点击查看答案
