问答题
给出全是偶数的模9的简化完全剩余系。能否给出全是偶数的模10的简化完全剩余系？
问答题 运算是否有单位元，零元？如果有，请指出，并求S中所有可逆元素的逆元。
问答题 给出全是奇数的模13的完全剩余系，能否给出全是奇数的模10的完全剩余系？
问答题 试证明下列各公式是重言式： ①（P∧（P→Q））→Q ② ③（（P→Q）∧（Q→R））→（P→R） ④（P→（Q→R））→（（P→Q）→（P→R））
