计算题

判断以下推理是否正确，先得简单命题符号化，再写出前提，结论，推理的形式结构（以蕴含式的形式给出）和判断过程。
今天是星期一当且仅当明天是星期三；今天不是星期一，所以明天不是星期三。

设S={2˙a1，2˙a2，...2˙ak}是多重集，如果在S的全排列中相同的两个ai（i=1，2，...，k）不相邻，问这样的全排列有多少个？ 点击查看答案

代数系统〈1，+〉（其中I是整数集合，+是普通加法），I对+的幺元为（），零元为（），对任一x∈I，其x-1=（） 点击查看答案