填空题
代数系统〈1，+〉（其中I是整数集合，+是普通加法），I对+的幺元为（），零元为（），对任一x∈I，其x-1=（）
0；无；-x
问答题 判断以下推理是否正确，先得简单命题符号化，再写出前提，结论，推理的形式结构（以蕴含式的形式给出）和判断过程。 若今天是星期一，则明天是星期二或星期三。
问答题 判断以下推理是否正确，先得简单命题符号化，再写出前提，结论，推理的形式结构（以蕴含式的形式给出）和判断过程。 若今天是星期一，则明天是星期二；今天不是星期一，所以明天不是星期二。
单项选择题 设〈Nn，+n〉是一个代数系统，其中Nn={0，1，2，…，n-1}，+n：模n加，〈N4，+4〉是〈N6，+6〉的子代数吗？（）
