判断下面推理是否正确.先将简单命题符号化，再写出前捉结论，推理的形式结构（以蘊涵式的形式给出

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

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

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

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

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

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

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