2022-05-26
判断下面推理是否正确.先将简单命题符号化,再写出前提、结论、推理的形式结构(以蕴涌式的形式给出）和判断过程(至少给出两种判断方法)：(1）若今天是星期一，则明天是星期三，今天是星期一，所以明天是星期三；(2）若今天是星期一，则明天是星期二，明天是星期二，所以今天是星期一，(3)若今天是星期一，则明天是星期三，明天不是星期三，所以今天不是星期一；(4)若今天是星期一，则明天是星期二，今天不是星期一，所以明天不是星期二；(5）若今人是星期一，则明天是星期二或星期三；(6)今天是星期一当且仅当明天是星期三，今天不是星期一，所以明天不是星期三。
