共用题干题

S=Q*Q，Q为有理数集，*为S上的二元运算，〈a，b〉，〈x，y〉∈S有
〈a，b〉*〈x，y〉=〈ax，ay+b〉

运算是否有单位元，零元？如果有，请指出，并求S中所有可逆元素的逆元。

给出全是奇数的模13的完全剩余系，能否给出全是奇数的模10的完全剩余系？

问答题给出全是奇数的模13的完全剩余系，能否给出全是奇数的模10的完全剩余系？

试证明下列各公式是重言式： ①（P∧（P→Q））→Q ② ③（（P→Q）∧（Q→R））→（P→R） ④（P→（...

问答题

试证明下列各公式是重言式：
①（P∧（P→Q））→Q
②
③（（P→Q）∧（Q→R））→（P→R）
④（P→（Q→R））→（（P→Q）→（P→R））

设S={0，1，2，3}，为模4乘法，即 问〈S，〉构成什么代数系统（半群，独异点，群）？为什么？

问答题

设S={0，1，2，3}，为模4乘法，即

问〈S，〉构成什么代数系统（半群，独异点，群）？为什么？