判断题 设*是S上的可结合运算，若a∈S是可约的，则a也是可逆的．

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

判断题 在个代数系统中、若一个元素的逆元是唯一的，运算必定是可结合的。