问答题

计算题

判断以下推理是否正确,先得简单命题符号化,再写出前提,结论,推理的形式结构(以蕴含式的形式给出)和判断过程。
若今天是星期一,则明天是星期二;今天不是星期一,所以明天不是星期二。

【参考答案】