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

单项选择题 设〈Nn，+n〉是一个代数系统，其中Nn={0，1，2，…，n-1}，+n：模n加，〈N4，+4〉是〈N6，+6〉的子代数吗？（）

问答题 判断下面集合A的二元运算*是否构成代数系统，如果V=〈A，*〉是代数系统，则说明V是否具有交换律、结合律、是否有单位元，并找出V中所有可逆元及它们的逆。 A={1，-2，3，2，-4}，a*b=∣b∣。