判断下列推理是否正确。先将简单命题符号化，再写出前提、结论、推理的形式结构（以套涵式的形式给

判断下列推理是否正确。先将简单命题符号化，再写出前提、结论、推理的形式结构(以套涵式的形式给出)和判断过程(至少给出两种判断方法)。

(1)若今天是星期一，则明天是星期三。今天是星期一。所以明天是星期三。

(2)若今天是星期一，则明天是星期二。明天是星期二。所以今天是星期一。

(3)若今天是星期一，则明天是星期三。明天不是星期三。所以今天不是星期一。

(4)若今天是星期一，则明天是星期二。今天不是星期一。所以明天不是星期二。

(5)若今天是星期一，则明天是星期二或星期三。今天是星期一。所以明天是星期。

(6)今天是星期一当且仅当明天是星期三。今天不是星期一。所以明天不是星期三。